Tags · aa755/coq-ext-lib

v0.9.4

making MonadWriter polymorphic.

fixing universe polymorphism for 8.5pl1

a few more functions.

Merge pull request rocq-community#17 from vzaliva/macos-coq8.4-build

Macos coq8.4 build

Merge pull request rocq-community#17 from vzaliva/macos-coq8.4-build

Macos coq8.4 build

Merge pull request rocq-community#16 from bmsherman/patch-1

Fix typo

porting of most things so that it builds with 8.5~beta3

fixes to work with v8.5 branch.

a few more lemmas for Data.Prop.

ExtLib version for the compiler.