Lean 4 Export

https://github.com/leanprover/lean4export

Lean 4 Export is a declaration exporter for Lean 4 that outputs code declarations and type...

Tokens:41,798
Snippets:537
Trust Score:7.9
License:Apache-2.0
Update:1 month ago
Tokens:
Raw