Skip to content
Pre-release
Pre-release

@vbgl vbgl released this Jun 20, 2019 · 1451 commits to master since this release

This is the second β version of Coq 8.10.

Compared to the previous one, it includes many bug fixes and documentation improvements. In particular, CoqIDE instability on Windows has been addressed. More details can be found in the manual.

Assets 5
You can’t perform that action at this time.