Automated Lean Proofs for Every Type (via repl) — discussion

#formalmethods