Skip to content
v0.1.0
Tej Chajed's avatar
Tej Chajed
@tchajed
b077370a · Fix up mentions of v8.11 · 
Initial release

Compatible with Coq v8.11, v8.12+beta1, and the current v8.12+alpha.
Integrates with Iris 3.3.