Geeks
mathink
/
mslambda
Map, Skeleton, Lambda term.
Primary Language
Coq
mslambda GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Watchers
pasberth
Kanagawa, Japan