Post #1582557
2026-04-16 22:02 UTC
@dysfun seems like all of the proof assistants I know of are on the LLM hype train now
Replies (1)
-
@dysfun@social.treehouse.systems 2026-04-16 22:03
@agentultra all the DT ones that are even vaguely widely used. but idris doesn't consider itself a proof assistant, it just has the DT capabilities