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
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