The Lean Programming Language and Theorem Prover

(leodemoura.github.io)

2 points | by azhenley 10 hours ago ago

No comments yet.