Skip to content

@vbgl vbgl released this Oct 25, 2019 · 17 commits to v8.10 since this release

Coq 8.10.1 brings a few bug fixes and documentation improvements, in particular:

  • Fix proof of False when using SProp
  • Fix an anomaly when unsolved evar in Add Ring
  • Fix Ltac regression in binding free names in uconstr
  • Fix handling of unicode input before space
  • Fix custom extraction of inductives to JSON
Assets 6
You can’t perform that action at this time.