Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
hu zhenlei
Mi-Cho-Coq
Branches
You need to sign in or sign up before continuing.
Overview
Active
Stale
All
julien@extraction
9fa0d6f5
·
OTT now compiles
·
Mar 14, 2019
Julien@adding_contracts
52f92a69
·
Adding Mutually calling contracts
·
Mar 15, 2019
miguelito
c1a9d0be
·
Miguelito some progress
·
Mar 28, 2019
raphael@micheline
cc61e9ca
·
[typer] Certified Michelson type-checker/type-inferrer
·
Apr 03, 2019
underscore
fdac536a
·
[Michocoq] list_ -> list, option_ -> option, set_ -> set
·
Apr 04, 2019
raphael@tuto
0dbd040f
·
Michocott: add coqdoc.sty in .gitignore
·
Apr 04, 2019
master
default
protected
48ebec43
·
add work about modification of multisig
·
Apr 08, 2019
prove_orcle_insurance
c631a797
·
[oracle_insurance|paper] add specification
·
May 20, 2019
improve_multisig
f78585b2
·
[presentation|multisig]Add presentation about multisig's modification
·
Jun 11, 2019
merge-contract
5fed2f9e
·
function "get" done
·
Jul 06, 2019
merge-contract_multithreaded_simpl
01a71fa7
·
update spec "<-"; proof "<->" done
·
Jul 12, 2019
contract_spend
49ca59d8
·
[contracts|spend]add a example Michelson
·
Jul 15, 2019