Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tags give the ability to mark specific points in history as being important
version-1.0
32dc8635
·
[Changes] Added a changelog
·
Jun 15, 2021
Release:
Mi-Cho-Coq version 1.0.0
version-0.1
f6a9666a
·
talk_18_01_2021_cpp_lightning_talk
·
Jan 19, 2021
Release:
Mi-Cho-Coq version 0.1
ISOLA2020
2e8d5a3f
·
[optimizer] Define and certify a Michelson optimizer
·
May 19, 2020
FMBC_2019
2b4e968b
·
Install Coq libraries
·
Jul 03, 2019
Michocoq release for the paper submitted at FMBC 2019