issues
search
leanprover
/
verso
Lean documentation authoring tool
Apache License 2.0
125
stars
14
forks
source link
chore: compatibility with latest nightly
#213
Closed
david-christiansen
closed
1 month ago