From bdd3903df41c38f4c9a0cb659a666caef1aaae7e Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Fri, 19 Jan 2024 10:32:06 +0100 Subject: [PATCH] Deploy website - based on 5d6ecfec0cb38d28bdbc8ba7a88fc5eb2aa56a47 --- 404.html | 6 +++--- assets/js/main.a82cbe13.js | 2 ++ ...f5860b28.js.LICENSE.txt => main.a82cbe13.js.LICENSE.txt} | 0 assets/js/main.f5860b28.js | 2 -- blog.html | 6 +++--- blog/2021/10/10/welcome.html | 6 +++--- blog/2021/10/27/verification-data-encoding.html | 6 +++--- blog/2021/11/12/new-blog-posts-and-meetup-talk.html | 6 +++--- blog/2022/02/02/make-tezos-a-formally-verified-crypto.html | 6 +++--- blog/2022/06/15/status update-tezos.html | 6 +++--- blog/2022/06/23/upgrade-coq-of-ocaml-4.14.html | 6 +++--- blog/2022/12/13/latest-blog-posts-on-tezos.html | 6 +++--- blog/2023/01/24/current-verification-efforts.html | 6 +++--- blog/2023/04/26/representation-of-rust-methods-in-coq.html | 6 +++--- blog/2023/05/28/monad-for-side-effects-in-rust.html | 6 +++--- blog/2023/08/25/trait-representation-in-coq.html | 6 +++--- blog/2023/11/08/rust-thir-and-bundled-traits.html | 6 +++--- blog/2023/11/26/rust-function-body.html | 6 +++--- blog/2023/12/13/rust-verify-erc-20-smart-contract.html | 6 +++--- blog/2024/01/04/rust-translating-match.html | 6 +++--- blog/2024/01/18/update-coq-of-rust.html | 6 +++--- blog/archive.html | 6 +++--- blog/page/2.html | 6 +++--- blog/tags.html | 6 +++--- blog/tags/4-14.html | 6 +++--- blog/tags/aleph-zero.html | 6 +++--- blog/tags/coq-of-ocaml.html | 6 +++--- blog/tags/coq-of-rust.html | 6 +++--- blog/tags/coq-tezos-of-ocaml.html | 6 +++--- blog/tags/coq.html | 6 +++--- blog/tags/data-encoding.html | 6 +++--- blog/tags/erc-20.html | 6 +++--- blog/tags/hir.html | 6 +++--- blog/tags/ink.html | 6 +++--- blog/tags/meetup.html | 6 +++--- blog/tags/mi-cho-coq.html | 6 +++--- blog/tags/monad.html | 6 +++--- blog/tags/o-caml.html | 6 +++--- blog/tags/ocaml.html | 6 +++--- blog/tags/rust.html | 6 +++--- blog/tags/side-effects.html | 6 +++--- blog/tags/solidity.html | 6 +++--- blog/tags/tezos.html | 6 +++--- blog/tags/thir.html | 6 +++--- blog/tags/trait.html | 6 +++--- blog/tags/type-script.html | 6 +++--- blog/tags/welcome.html | 6 +++--- docs/company/about.html | 6 +++--- docs/company/careers.html | 6 +++--- docs/company/claims.html | 6 +++--- docs/company/intro.html | 6 +++--- docs/company/press.html | 6 +++--- docs/coq-of-ocaml/attributes.html | 6 +++--- docs/coq-of-ocaml/configuration.html | 6 +++--- docs/coq-of-ocaml/cookbook.html | 6 +++--- docs/coq-of-ocaml/examples.html | 6 +++--- docs/coq-of-ocaml/faq.html | 6 +++--- docs/coq-of-ocaml/gadts.html | 6 +++--- docs/coq-of-ocaml/install.html | 6 +++--- docs/coq-of-ocaml/introduction.html | 6 +++--- docs/coq-of-ocaml/module-system.html | 6 +++--- docs/coq-of-ocaml/ocaml-core.html | 6 +++--- docs/coq-of-ocaml/run.html | 6 +++--- docs/coq-of-ocaml/type-definitions.html | 6 +++--- docs/coq-of-rust/introduction.html | 6 +++--- docs/services/ocaml-development.html | 6 +++--- docs/services/rust-development.html | 6 +++--- docs/services/solidity-development.html | 6 +++--- docs/services/typescript-development.html | 6 +++--- docs/verification/ocaml.html | 6 +++--- docs/verification/rust.html | 6 +++--- docs/verification/solidity.html | 6 +++--- docs/verification/typescript.html | 6 +++--- index.html | 6 +++--- 74 files changed, 215 insertions(+), 215 deletions(-) create mode 100644 assets/js/main.a82cbe13.js rename assets/js/{main.f5860b28.js.LICENSE.txt => main.a82cbe13.js.LICENSE.txt} (100%) delete mode 100644 assets/js/main.f5860b28.js diff --git a/404.html b/404.html index 28ef2e5fa..2766633ac 100644 --- a/404.html +++ b/404.html @@ -11,15 +11,15 @@ Page Not Found | Formal Land - +
-
Skip to main content

Page Not Found

We could not find what you were looking for.

Please contact the owner of the site that linked you to the original URL and let them know their link is broken.