Geek Repo
followers
following
stars
Company:SRI International Computer Science Laboratory
Location:Menlo Park CA
Home Page:http://www.csl.sri.com/~shankar
Github PK Tool:Github PK Tool
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017