Automated Lean Proofs for Every Type

(galois.com)

3 points | by surprisetalk 2 days ago ago

No comments yet.