Merge requests · Formal Land

Skip to content

GitLab

Pricing
Talk to an expert

/

Help
Projects Groups Topics Snippets
Register
Sign in

Formal Land
Group information
- Group information
- Activity
- Labels
- Members
Issues 231
- Issues 231
- List
- Board
- Milestones
Merge requests 25
- Merge requests 25
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

Formal Land
Merge requests

Open 25
Merged 866
Closed 162
All 1,053

Draft: Using `solc` to parse contract to JSON

coq-of-solidity!5 · created Mar 20, 2023 by Daniel Hilst
- 2
updated Mar 21, 2023
proof progress

muldiv!1 · created Jan 06, 2023 by Evan Marzion
- 0
updated Jan 06, 2023
Sc_rollup_operations

coq-tezos-of-ocaml!1013 · created Dec 16, 2022 by Natasha Klaus
- 0
updated Dec 16, 2022
Verify Sc_rollup_stake_storage.v, part 1

coq-tezos-of-ocaml!1012 · created Dec 14, 2022 by Daniel Hilst
updated Dec 16, 2022
Cps semantics

coq-tezos-of-ocaml!1009 · created Dec 13, 2022 by Evan Marzion
- 0
updated Dec 16, 2022
Draft: Protocol update 2022 12 07

coq-tezos-of-ocaml!1005 · created Dec 12, 2022 by Guillaume Claret
updated Dec 12, 2022
Master with coq j and k saved version 2022-12-06

tezos!14 · created Dec 06, 2022 by Guillaume Claret
updated Dec 06, 2022
Validity of `step` - `next` functions in `Script_interpreter.v`

coq-tezos-of-ocaml!997 · created Dec 05, 2022 by Natasha Klaus
- 0
updated Dec 05, 2022
Draft: Cleaning up sorting proofs

coq-tezos-of-ocaml!992 · created Dec 01, 2022 by Evan Marzion
- 0
updated Dec 01, 2022
Master with proto J, K and alpha

tezos!7 · created Aug 29, 2022 by Guillaume Claret
updated Dec 06, 2022
Draft: some progress in admitted lemmas

coq-tezos-of-ocaml!748 · created Aug 16, 2022 by Evan Marzion
- 0
updated Aug 16, 2022
Draft: translation to Coq

json-data-encoding!9 · created Aug 09, 2022 by Guillaume Claret
- 0
updated Aug 12, 2022
Draft: Resolve "Translate json_encoding.ml"

json-data-encoding!2 · created Jul 19, 2022 by 7A1T Translate in Coq 🐓
- 0
updated Jul 19, 2022
Draft: Modifications to run coq-of-ocaml

mligo!1 · created Jul 08, 2022 by Daniel Hilst
updated Jul 08, 2022
Draft: Translation of proto J

tezos!3 · created Jul 05, 2022 by Guillaume Claret
updated Jul 05, 2022
Draft: test_to_list_of_list_proof

coq-tezos-of-ocaml!631 · created Jul 04, 2022 by 7A1T Tests carbonated maps tests
updated Jul 05, 2022
remove coq attributes

tezos!2 · created Jun 28, 2022 by Shubham Kumar
- Approved
- 2
updated Jun 29, 2022
Draft: Michelson: add proof for the simulation 'dep_diff_of_big_map'

coq-tezos-of-ocaml!598 · created Jun 21, 2022 by Rex Yuan
updated Jun 24, 2022
Draft: Data_encoding : Add the case of invalid JSON encoding of the Tezos issue 3230

coq-tezos-of-ocaml!588 · created Jun 16, 2022 by Daniel Hilst
updated Sep 21, 2022
Draft: Proto K

tezos!1 · created Jun 16, 2022 by Evan Marzion
updated Aug 17, 2022

Prev
1
2
Next