search

leanprover / doc-gen4

Document Generator for Lean 4
Apache License 2.0
62 stars 41 forks source link

chore: update md4lean version and README that it compiles on Windows #196

Closed acmepjz closed 2 months ago

acmepjz commented 2 months ago

Newest version of md4lean compiles on Windows. I'd like to update md4lean version and README and states that it compiles on Windows.