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}}
Created date
Sc_rollup_operations
!1013
· created
Dec 16, 2022
by
Natasha Klaus
updated
Dec 16, 2022
Verify Sc_rollup_stake_storage.v, part 1
!1012
· created
Dec 14, 2022
by
Daniel Hilst
22
updated
Dec 16, 2022
Cps semantics
!1009
· created
Dec 13, 2022
by
Evan Marzion
updated
Dec 16, 2022
Draft: Protocol update 2022 12 07
!1005
· created
Dec 12, 2022
by
Guillaume Claret
updated
Dec 12, 2022
Validity of `step` - `next` functions in `Script_interpreter.v`
!997
· created
Dec 05, 2022
by
Natasha Klaus
Draft: Cleaning up sorting proofs
!992
· created
Dec 01, 2022
by
Evan Marzion
updated
Dec 01, 2022
Draft: some progress in admitted lemmas
!748
· created
Aug 16, 2022
by
Evan Marzion
Draft: test_to_list_of_list_proof
!631
· created
Jul 04, 2022
by
7A1T
Tests carbonated maps
tests
2
updated
Jul 05, 2022
Draft: Michelson: add proof for the simulation 'dep_diff_of_big_map'
!598
· created
Jun 21, 2022
by
Rex Yuan
3
updated
Jun 24, 2022
Draft: Data_encoding : Add the case of invalid JSON encoding of the Tezos issue 3230
!588
· created
Jun 16, 2022
by
Daniel Hilst
1
updated
Sep 21, 2022
Draft: Simulation for the transfer function
!564
· created
Jun 09, 2022
by
Guillaume Claret
Backward compatibility (part 1)
michelson
updated
Jun 17, 2022
Draft: Verify non iterable indexable data storages
!403
· created
Apr 10, 2022
by
Guillaume Claret
updated
Apr 14, 2022
Draft: Arith code
!388
· created
Apr 05, 2022
by
Kewerson Hugo
updated
Apr 13, 2022
Draft: Storage: verify the carbonated indexed storage functor
!379
· created
Mar 30, 2022
by
Guillaume Claret
updated
Apr 06, 2022
Draft: Progress dep_step_eq
!326
· created
Feb 23, 2022
by
Kewerson Hugo
updated
Apr 01, 2022