Translate TypeScript, Go and PostgreSQL to Lean 4 and prove things about the real source
Lean Updated 9 days ago 1 commits 3 stars
surge-bot|Mirror: shihangw/tolean (⭐3)
9 days agoAbout
Translate TypeScript, Go and PostgreSQL to Lean 4 and prove things about the real source
Readme
3 stars