Deploy website - based on f26bc92

formal-land · Feb 10, 2025 · 8fa88c5 · 8fa88c5
1 parent 148463e
commit 8fa88c5
Show file tree

Hide file tree

Showing 168 changed files with 167 additions and 171 deletions.
diff --git a/404.html b/404.html
@@ -11,7 +11,7 @@
 <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM" crossorigin="anonymous">
 <script src="/js/hotjar-analytics.js"></script>
 <script data-domain="formal.land" defer="defer" src="https://plausible.io/js/script.js"></script><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
-<script src="/assets/js/runtime~main.52634624.js" defer="defer"></script>
+<script src="/assets/js/runtime~main.1d7bfe8e.js" defer="defer"></script>
 <script src="/assets/js/main.1f7454dd.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/assets/files/formal-verification-ocaml-formal-land-f7fc4aec9c67b261b754474cee1e19eb.pdf b/assets/files/formal-verification-ocaml-formal-land-f7fc4aec9c67b261b754474cee1e19eb.pdf
diff --git a/assets/js/935f2afb.404b1bbe.js b/assets/js/935f2afb.404b1bbe.js