Geeks
lenianiva
/
Pantograph
(Mirror) A Lean machine-to-machine REPL
Primary Language
Lean
Pantograph Home Page
Pantograph GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
lenianiva
Palo Alto, California, USA