Lean Blueprint

https://github.com/patrickmassot/leanblueprint

Lean Blueprint is a plasTeX plugin that enables Lean 4 projects to create interactive...

Tokens:5,187
Snippets:55
Trust Score:9.3
License:Apache-2.0
Update:3 months ago
Tokens:
Raw