-
Michelson without simulations - Project MilestoneNov 14, 2022–Nov 25, 2022Expired Formal Land / Coq Tezos of OCaml 💫
-
Specify the correctness of the refutation game - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Verify the backward compatibility of proto-alpha and proto M for Michleson - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Verify compatibility with Mi-Cho-Coq - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Verify the `lib_tree_encoding` library - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Update translation December 2022 - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Specification of the storage - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Update translation November 2022 - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Internal errors (part 2) - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Verify json_encoding.ml - Project MilestoneOpen Formal Land / json-data-encoding
-
Verify list_map.ml - Project MilestoneOpen Formal Land / json-data-encoding
-
Translate in Coq 🐓 - Project MilestoneOpen Formal Land / json-data-encoding
-
Community - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Random proofs - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Cleanings - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫
-
Data-encoding library - Project MilestoneOpen Formal Land / Coq Tezos of OCaml 💫