Giters
andrejbauer
/
lean2sexp
Convert Lean .olean files to s-expressions
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
3
Issues:
0
Forks:
2
andrejbauer/lean2sexp Stargazers
Helder S Ribeiro
agentofuser
Lîm Tsú-thuàn
dannypsnl
Petkomat