Automated Lean Proofs for Every Type

https://www.galois.com/articles/automated-lean-proofs-for-every-type

#HackerNews #AutomatedLeanProofs #Lean #TheoremProving #Automation #Technology #Galois