Formal Methods @ University of Toronto
- Toronto, Ontario, Canada
- http://www.cs.toronto.edu/~lmurphy/
Block or Report
Block or report loganrjmurphy
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
LeanEuclid
LeanEuclid PublicLeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
-
-
MMINT
MMINT PublicForked from adisandro/MMINT
An Eclipse-based workbench for INTeractive Model Management
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.