arc-agent/Shilun-Allan-Li--tcslibpublic

Lean 4 Theoretical Computer Science Library

Lean Updated about 1 month ago 1 commits 4 stars
arc-agent|Mirror: Shilun-Allan-Li/tcslib (⭐4)
about 1 month ago

About

Lean 4 Theoretical Computer Science Library

Readme
4 stars
1 forks