issues
search
leanprover-community
/
lean4-metaprogramming-book
https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
211
stars
50
forks
source link
Quick fixes for pdf lists to render fine
#90
Closed
lakesare
closed
1 year ago
lakesare
commented
1 year ago
Before
After
Before
After