issues
search
leanprover
/
verso
Lean documentation authoring tool
Apache License 2.0
120
stars
14
forks
source link
chore: compatibility again
#139
Closed
david-christiansen
closed
2 months ago