Skip to content
Pre-release
Pre-release

@vbgl vbgl released this Jun 20, 2019 · 261 commits to v8.10 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 6