Rob Lewis

icon indicating a website link http://robertylewis.com icon indicating an email [email protected]

icon company Brown University icon location Providence, RI

Results 1 repositories owned by Rob Lewis

mathematica

19
Stars
3
Forks
Watchers

Lean-independent implementation of the MM-Lean link

verified publisher icon robertylewis