@dysfun@social.treehouse.systems
Post #1582558
2026-04-16 22:03 UTC
@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
Replies (0)
No replies.
@dysfun@social.treehouse.systems
2026-04-16 22:03 UTC
No replies.