Lean
Theorem prover and programming language. It is based on the calculus of constructions with inductive types Website
0
0
Approval Rate: n/a%
n/aApproval ratio
Reviews
Sort by:
No reviews yet
No one has left a review of this topic, be the first!
Theorem prover and programming language. It is based on the calculus of constructions with inductive types Website
No one has left a review of this topic, be the first!