CSlib - Formalizing Computer Science in Lean

https://www.cslib.io/api

CSlib is a focused effort to formalize computer science foundations, including computational models,...

Tokens:75
Snippets:4
Trust Score:6
Update:1 month ago
Tokens:
Raw