Pittsburgh, PA

William (Liam) Schilling

Intermediate
@LiamSchilling

Interactive Theorem Proving and Automated Reasoning | Machine Learning for Finite-State Models of Language

AutomatePolynomial. proof by reflection for Mathlib polynomials

4
1
Apply