Lean theorem prover mathlib

(github.com)

33 points | by downboots 8 hours ago ago

No comments yet.