v4.20.0

Peiyang-Song released this 06 Jun 05:32

· 81 commits to main since this release

10d63fc

What's Changed

Update README for Windows by @durant42040 in #170
Compile ct2.o with downloaded C++ headers by @durant42040 in #171
Bump to latest stable Lean version by @Peiyang-Song in #173

Full Changelog: v4.19.0...v4.20.0

Contributors

durant42040 and Peiyang-Song

Assets 5