Deploy website - based on 5d6ecfe

formal-land · Jan 23, 2024 · bd5bdec · bd5bdec
1 parent 8d60fba
commit bd5bdec
Show file tree

Hide file tree

Showing 74 changed files with 216 additions and 216 deletions.
diff --git a/404.html b/404.html
diff --git a/assets/js/main.0124f35f.js b/assets/js/main.0124f35f.js
diff --git a/assets/js/main.5b0bc398.js.LICENSE.txt → assets/js/main.0124f35f.js.LICENSE.txt b/assets/js/main.5b0bc398.js.LICENSE.txt → assets/js/main.0124f35f.js.LICENSE.txt
diff --git a/assets/js/main.5b0bc398.js b/assets/js/main.5b0bc398.js
diff --git a/blog.html b/blog.html
diff --git a/blog/2021/10/10/welcome.html b/blog/2021/10/10/welcome.html
diff --git a/blog/2021/10/27/verification-data-encoding.html b/blog/2021/10/27/verification-data-encoding.html
diff --git a/blog/2021/11/12/new-blog-posts-and-meetup-talk.html b/blog/2021/11/12/new-blog-posts-and-meetup-talk.html
diff --git a/blog/2022/02/02/make-tezos-a-formally-verified-crypto.html b/blog/2022/02/02/make-tezos-a-formally-verified-crypto.html
diff --git a/blog/2022/06/15/status update-tezos.html b/blog/2022/06/15/status update-tezos.html
diff --git a/blog/2022/06/23/upgrade-coq-of-ocaml-4.14.html b/blog/2022/06/23/upgrade-coq-of-ocaml-4.14.html
diff --git a/blog/2022/12/13/latest-blog-posts-on-tezos.html b/blog/2022/12/13/latest-blog-posts-on-tezos.html
diff --git a/blog/2023/01/24/current-verification-efforts.html b/blog/2023/01/24/current-verification-efforts.html
diff --git a/blog/2023/04/26/representation-of-rust-methods-in-coq.html b/blog/2023/04/26/representation-of-rust-methods-in-coq.html
diff --git a/blog/2023/05/28/monad-for-side-effects-in-rust.html b/blog/2023/05/28/monad-for-side-effects-in-rust.html
diff --git a/blog/2023/08/25/trait-representation-in-coq.html b/blog/2023/08/25/trait-representation-in-coq.html
diff --git a/blog/2023/11/08/rust-thir-and-bundled-traits.html b/blog/2023/11/08/rust-thir-and-bundled-traits.html
diff --git a/blog/2023/11/26/rust-function-body.html b/blog/2023/11/26/rust-function-body.html
diff --git a/blog/2023/12/13/rust-verify-erc-20-smart-contract.html b/blog/2023/12/13/rust-verify-erc-20-smart-contract.html
diff --git a/blog/2024/01/04/rust-translating-match.html b/blog/2024/01/04/rust-translating-match.html
diff --git a/blog/2024/01/18/update-coq-of-rust.html b/blog/2024/01/18/update-coq-of-rust.html
diff --git a/blog/archive.html b/blog/archive.html
diff --git a/blog/page/2.html b/blog/page/2.html
diff --git a/blog/tags.html b/blog/tags.html
diff --git a/blog/tags/4-14.html b/blog/tags/4-14.html
diff --git a/blog/tags/aleph-zero.html b/blog/tags/aleph-zero.html
diff --git a/blog/tags/coq-of-ocaml.html b/blog/tags/coq-of-ocaml.html
diff --git a/blog/tags/coq-of-rust.html b/blog/tags/coq-of-rust.html
diff --git a/blog/tags/coq-tezos-of-ocaml.html b/blog/tags/coq-tezos-of-ocaml.html
diff --git a/blog/tags/coq.html b/blog/tags/coq.html
diff --git a/blog/tags/data-encoding.html b/blog/tags/data-encoding.html
diff --git a/blog/tags/erc-20.html b/blog/tags/erc-20.html
diff --git a/blog/tags/hir.html b/blog/tags/hir.html
diff --git a/blog/tags/ink.html b/blog/tags/ink.html
diff --git a/blog/tags/meetup.html b/blog/tags/meetup.html
diff --git a/blog/tags/mi-cho-coq.html b/blog/tags/mi-cho-coq.html
diff --git a/blog/tags/monad.html b/blog/tags/monad.html
diff --git a/blog/tags/o-caml.html b/blog/tags/o-caml.html
diff --git a/blog/tags/ocaml.html b/blog/tags/ocaml.html
diff --git a/blog/tags/rust.html b/blog/tags/rust.html
diff --git a/blog/tags/side-effects.html b/blog/tags/side-effects.html
diff --git a/blog/tags/solidity.html b/blog/tags/solidity.html
diff --git a/blog/tags/tezos.html b/blog/tags/tezos.html
diff --git a/blog/tags/thir.html b/blog/tags/thir.html
diff --git a/blog/tags/trait.html b/blog/tags/trait.html
diff --git a/blog/tags/type-script.html b/blog/tags/type-script.html
diff --git a/blog/tags/welcome.html b/blog/tags/welcome.html
diff --git a/docs/company/about.html b/docs/company/about.html
diff --git a/docs/company/careers.html b/docs/company/careers.html
diff --git a/docs/company/claims.html b/docs/company/claims.html
diff --git a/docs/company/intro.html b/docs/company/intro.html
diff --git a/docs/company/press.html b/docs/company/press.html
diff --git a/docs/coq-of-ocaml/attributes.html b/docs/coq-of-ocaml/attributes.html
diff --git a/docs/coq-of-ocaml/configuration.html b/docs/coq-of-ocaml/configuration.html
diff --git a/docs/coq-of-ocaml/cookbook.html b/docs/coq-of-ocaml/cookbook.html
diff --git a/docs/coq-of-ocaml/examples.html b/docs/coq-of-ocaml/examples.html
diff --git a/docs/coq-of-ocaml/faq.html b/docs/coq-of-ocaml/faq.html
diff --git a/docs/coq-of-ocaml/gadts.html b/docs/coq-of-ocaml/gadts.html
diff --git a/docs/coq-of-ocaml/install.html b/docs/coq-of-ocaml/install.html
diff --git a/docs/coq-of-ocaml/introduction.html b/docs/coq-of-ocaml/introduction.html
diff --git a/docs/coq-of-ocaml/module-system.html b/docs/coq-of-ocaml/module-system.html
diff --git a/docs/coq-of-ocaml/ocaml-core.html b/docs/coq-of-ocaml/ocaml-core.html
diff --git a/docs/coq-of-ocaml/run.html b/docs/coq-of-ocaml/run.html
diff --git a/docs/coq-of-ocaml/type-definitions.html b/docs/coq-of-ocaml/type-definitions.html
diff --git a/docs/coq-of-rust/introduction.html b/docs/coq-of-rust/introduction.html
diff --git a/docs/services/ocaml-development.html b/docs/services/ocaml-development.html
diff --git a/docs/services/rust-development.html b/docs/services/rust-development.html
diff --git a/docs/services/solidity-development.html b/docs/services/solidity-development.html
diff --git a/docs/services/typescript-development.html b/docs/services/typescript-development.html
diff --git a/docs/verification/ocaml.html b/docs/verification/ocaml.html
diff --git a/docs/verification/rust.html b/docs/verification/rust.html
diff --git a/docs/verification/solidity.html b/docs/verification/solidity.html
diff --git a/docs/verification/typescript.html b/docs/verification/typescript.html
diff --git a/index.html b/index.html