-
coq-tezos-of-ocaml!693
- Merged
-
- Approved
updated -
coq-tezos-of-ocaml!692
- Merged
- 3
- Approved
updated -
coq-tezos-of-ocaml!691
- Merged
- 2
- Approved
updated -
json-data-encoding!4 Translate in Coq 🐓
- Merged
- 2
- Approved
updated -
coq-tezos-of-ocaml!688
- Merged
-
- 3
- Approved
updated -
json-data-encoding!3updated
-
coq-tezos-of-ocaml!689
- Merged
- Approved
updated -
coq-tezos-of-ocaml!683
- Merged
-
- 12
- Approved
updated -
coq-tezos-of-ocaml!686
- Merged
- Approved
updated -
coq-tezos-of-ocaml!687
- Merged
- Approved
updated -
coq-tezos-of-ocaml!679
- Merged
-
- 5
- Approved
updated -
coq-tezos-of-ocaml!685
- Merged
- Approved
updated -
coq-tezos-of-ocaml!684
- Merged
- Approved
updated -
json-data-encoding!1updated
-
coq-tezos-of-ocaml!657 Translate protocol K
- Merged
-
- 50
updated -
coq-tezos-of-ocaml!682
- Merged
- Approved
updated -
coq-tezos-of-ocaml!681
- Merged
- Approved
updated -
coq-tezos-of-ocaml!680
- Merged
- 1
- Approved
updated -
coq-tezos-of-ocaml!678
- Merged
- Approved
updated