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

Lean 4 Theoretical Computer Science Library

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

About

Lean 4 Theoretical Computer Science Library

Readme
4 stars
1 forks