Lean Theorem Prover Mathlib

(github.com)

22 points | by downboots 5 hours ago ago

No comments yet.