Skip to content

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

Merged
hargoniX merged 1 commit intoleanprover:mainfrom acmepjz:bump_md4leanJun 16, 2024

Commits

Commits on Jun 15, 2024