Verso

https://github.com/leanprover/verso

Verso is an authoring tool for Lean that provides libraries for representing documents paired with a...

Tokens:6,367
Snippets:88
Trust Score:7.9
License:Apache-2.0
Update:3 weeks ago
Tokens:
Raw