Logan Murphy

icon indicating a website link http://www.cs.toronto.edu/~lmurphy/

icon location Toronto, Ontario, Canada icon location Formal Methods @ University of Toronto

Results 1 repositories owned by Logan Murphy

LeanEuclid

117
Stars
14
Forks
117
Watchers

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

verified publisher icon loganrjmurphy