Lean theorem prover mathlib

(github.com)

50 points | by downboots 11 hours ago ago

No comments yet.