Skip to content

@silene silene released this May 20, 2019

Coq 8.9.1 contains

  • some quality-of-life bug fixes,
  • many improvements to the documentation,
  • a critical bug fix related to primitive projections and native_compute,
  • several additional Coq libraries shipped with the Windows installer.
Assets 5
You can’t perform that action at this time.