@dysfun@social.treehouse.systems
Post #1582556
2026-04-16 22:00 UTC
@agentultra idris is ideal for you, you can pretend stuff's total even without encoding a paradox.
Replies (1)
-
@agentultra@types.pl 2026-04-16 22:02
@dysfun seems like all of the proof assistants I know of are on the LLM hype train now