Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Ana de Almeida Borges
Coq formalization of QRC1
Tags
Tags give the ability to mark specific points in history as being important
v1.0.0
72050328
·
Change version in opam file
·
Jul 05, 2023
Release:
v1.0.0
Release for QRC1 Coq v1.0.0
v0.1.0
d72e57a1
·
Make use of the already existing public folder
·
Jun 05, 2022
Release:
v0.1.0
Release for QRC1 Coq v0.1.0