Skip to content

Coq 8.14 support

Björn Brandenburg requested to merge coq-8.14-support into master

Coq 8.14 has been released. Prosa works with it. Bump up versions everywhere.

Closes #81 (closed)

CC: @mmaida @sbozhko

Merge request reports