Gregory's Serverif 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
|
3 comments
 @dpwiz I was thinking more of Idris, but you're right, its a stretch to call it a theorem prover |
@rml nah, theories compose quite badly