Automated Lean Proofs for Every Type

(galois.com)

3 points | by surprisetalk a day ago ago

No comments yet.