Skip to content

Releases: garrigue/certint

Certified Interpreter November 2022

15 Nov 07:43
@garrigue garrigue
coq-8_16_0
ca94fba
Compare
Choose a tag to compare
Certified Interpreter November 2022 Latest
Latest

Update for Coq 8.16.0

  • Use Lia instead of Omega.
Assets 2
Loading

Certified Interpreter April 2020

11 Apr 07:55
@garrigue garrigue
coq-8_11_0
e8ad3c5
Compare
Choose a tag to compare
Certified Interpreter April 2020
  • update for Coq 8.11.0
Assets 2
Loading

Certified Interpreter November 2019

15 Nov 16:01
@garrigue garrigue
certint1911
9c7d2e9
Compare
Choose a tag to compare
Certified Interpreter November 2019
  • Update for Coq 8.10.1
  • Move to GitHub
Assets 2
Loading