-
coq-tezos-of-ocaml!740
- Merged
- Approved
updated -
json-data-encoding!13 Verify list_map.ml
- Merged
-
- Approved
updated -
json-data-encoding!12 Verify list_map.ml
- Merged
-
- 12
- Approved
updated -
coq-tezos-of-ocaml!739
- Merged
-
- Approved
updated -
coq-tezos-of-ocaml!735
- Merged
-
- 6
- Approved
updated -
coq-tezos-of-ocaml!729
- Merged
-
- 1
- Approved
updated -
json-data-encoding!10 Verify list_map.ml
- Merged
-
- 2
- Approved
updated -
coq-tezos-of-ocaml!728
- Merged
- 2
updated -
json-data-encoding!5 Verify list_map.ml
- Merged
-
- 75
updated -
coq-tezos-of-ocaml!723
- Merged
-
- 25
- Approved
updated -
coq-tezos-of-ocaml!727
- Merged
- 1
- Approved
updated -
coq-tezos-of-ocaml!726
- Merged
- Approved
updated -
coq-tezos-of-ocaml!706
- Merged
-
- 10
- Approved
updated -
coq-tezos-of-ocaml!725
- Merged
- Approved
updated -
coq-tezos-of-ocaml!709
- Merged
-
- 6
- Approved
updated -
coq-tezos-of-ocaml!724 Fix Michelson proofs for Proto K
- Merged
- Approved
updated -
coq-tezos-of-ocaml!721
- Merged
-
- 3
- Approved
updated -
coq-tezos-of-ocaml!722 Fix Michelson proofs for Proto K
- Merged
-
- Approved
updated -
coq-tezos-of-ocaml!720 Fix Michelson proofs for Proto K
- Merged
- Approved
updated -
- Merged
-
- 1
- Approved
updated