Lean Theorem Prover Mathlib

 (github.com)

26 points | by downboots 5 hours ago

0 comments