if you think the former is more desirable than the latter, then I got a theorem prover to sell to you dressed as a programming language

@dpwiz I was thinking more of Idris, but you're right, its a stretch to call it a theorem prover

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.