Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Mi-Cho-Coq
Merge requests
Open
2
Merged
5
Closed
0
All
7
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
[README] add a description for the vesting contract
!139
· created
Jun 23, 2021
by
Raphaël Cauderlier
doc
Merged
Approved
2
updated
Sep 24, 2021
Slides and script for talk_18_01_2021_cpp_lightning_talk
!94
· created
Jan 19, 2021
by
Arvid Jakobsson
doc
Merged
1
updated
Apr 09, 2021
[Doc] Improve README
!72
· created
May 26, 2020
by
Raphaël Cauderlier
Done
doc
Merged
5
updated
Jun 02, 2020
[Michocott] Formalize the typing rules of Michelson in OTT
!14
· created
May 29, 2019
by
Raphaël Cauderlier
Doing
doc
formalisation
ott
Merged
8
updated
Nov 29, 2019
Fixed michocott pdf generation
!13
· created
May 29, 2019
by
Basile Pesin
doc
Merged
1
updated
Jun 02, 2019