@rml nah, theories compose quite badly
@dpwiz I was thinking more of Idris, but you're right, its a stretch to call it a theorem prover
Gregory's Server
@dpwiz I was thinking more of Idris, but you're right, its a stretch to call it a theorem prover