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
11
Closed
4
All
17
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
FA1.2 verification v2
!137
· created
Jun 18, 2021
by
Kristina Sojakova
dev
formalisation
Closed
21
updated
Mar 16, 2023
Draft: Resolve "Formalize the FA2 specification and verify implementations"
!133
· created
Jun 08, 2021
by
Kristina Sojakova
formalisation
smart-contract verification
Closed
0
updated
Jun 15, 2021
Formalize the FA1.2 specification and verify an implementation
!82
· created
Sep 14, 2020
by
Arvid Jakobsson
dev
formalisation
smart-contract verification
Closed
1
updated
Nov 11, 2020
Entrypoints
!30
· created
Jul 16, 2019
by
Raphaël Cauderlier
proto-proposal
formalisation
proto proposal
Closed
2 left
1
2
updated
Nov 15, 2019