Geek Repo
followers
following
stars
Company:@polycam
Location:Carrboro, NC
Home Page:https://poly.cam
Twitter:@timthirion
Github PK Tool:Github PK Tool
config.exe
Explorations with the Lean Theorem Prover