CSLib

https://github.com/leanprover/cslib

CSLib is a Lean library for formalizing Computer Science theories and tools, offering APIs and...

Tokens:7,317
Snippets:56
Trust Score:7.9
License:Apache-2.0
Update:6 months ago
Tokens:
Raw