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}}
Popularity
Add specialized multisig source
!59
· created
Mar 04, 2020
by
Michael J Klein
doc
smart-contract verification
14
updated
Sep 20, 2023
Draft: WIP: Documentation of the proof of the multisig contract
!6
· created
Apr 03, 2019
by
Raphaël Cauderlier
doc
smart-contract verification
7
updated
Sep 20, 2023