Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Formal Land
Coq Tezos of OCaml 💫
Merge requests
Open
15
Merged
842
Closed
156
All
1,013
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
Draft: Resolve "An invariant required for storage_functors.v"
!272
· created
Jan 27, 2022
by
Natasha Klaus
Closed
updated
Jan 27, 2022
Draft: 75 verify apply results
!231
· created
Jan 12, 2022
by
Natasha Klaus
Closed
7
updated
Jan 26, 2022
Draft: WIP Services : Verify Sapling_services
!191
· created
Dec 22, 2021
by
Daniel Hilst
Closed
20
updated
Jan 18, 2022
Draft: dep cost of instr
!241
· created
Jan 13, 2022
by
Andrey Klaus
Closed
11
updated
Jan 14, 2022
Draft: dep cost of instr
!233
· created
Jan 12, 2022
by
Andrey Klaus
Closed
5
updated
Jan 13, 2022
Draft: WIP Repr : Gas_limit_repr TODOs
!209
· created
Jan 04, 2022
by
Daniel Hilst
clarus@saturation-spec
Closed
10
updated
Jan 07, 2022
Draft: Translate protocol 20211122
!193
· created
Dec 23, 2021
by
Daniel Hilst
Closed
15
updated
Dec 24, 2021
Draft: verify Script_repr.v
!176
· created
Dec 16, 2021
by
Andrey Klaus
Closed
24
updated
Dec 23, 2021
54 verify Tez_repr.v
!183
· created
Dec 17, 2021
by
Andrey Klaus
Closed
17
updated
Dec 23, 2021
Draft: verify Tez_repr.v
!174
· created
Dec 15, 2021
by
Andrey Klaus
Closed
20
updated
Dec 17, 2021
Draft: constants services lemmas
!175
· created
Dec 15, 2021
by
Kewerson Hugo
Closed
3
updated
Dec 16, 2021
alpha services lemmas
!173
· created
Dec 14, 2021
by
Kewerson Hugo
Closed
6
Approved
updated
Dec 16, 2021
Draft: Z.compare_is_valid works now
!158
· created
Dec 10, 2021
by
Andrey Klaus
Closed
2
updated
Dec 13, 2021
Fill axioms
!151
· created
Dec 08, 2021
by
Andrey Klaus
Closed
5
updated
Dec 10, 2021
Draft: single data storage proof init_value
!135
· created
Nov 29, 2021
by
Guillaume Claret
single-data-storage
Closed
1
updated
Nov 30, 2021
Resolve "Use the identity monad for Lwt"
!126
· created
Nov 24, 2021
by
Guillaume Claret
Closed
1
Approved
updated
Nov 24, 2021
Draft: Bijection instr <-> Mi-Cho-Coq
!95
· created
Oct 26, 2021
by
Guillaume Claret
Closed
1
updated
Nov 23, 2021
WIP: Storage functor proofs
!48
· created
Feb 08, 2021
by
Guillaume Claret
Closed
1
updated
Nov 23, 2021
Draft: Storage functor proofs ter
!59
· created
Jul 21, 2021
by
Guillaume Claret
Closed
1
updated
Nov 23, 2021
Draft: Single data storage proofs
!60
· created
Jul 24, 2021
by
Guillaume Claret
Closed
1
updated
Nov 23, 2021
Prev
1
…
3
4
5
6
7
8
Next