Skip to content

Commit

Permalink
Deploy website - based on 1dff8e0
Browse files Browse the repository at this point in the history
  • Loading branch information
clarus committed Nov 1, 2024
1 parent 7ce066d commit 9528b4a
Show file tree
Hide file tree
Showing 136 changed files with 137 additions and 137 deletions.
2 changes: 1 addition & 1 deletion 404.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down

Large diffs are not rendered by default.

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion blog.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2021/10/10/welcome.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2021/10/27/verification-data-encoding.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2021/11/12/new-blog-posts-and-meetup-talk.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2022/02/02/make-tezos-a-formally-verified-crypto.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2022/06/15/status update-tezos.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2022/06/23/upgrade-coq-of-ocaml-4.14.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2022/12/13/latest-blog-posts-on-tezos.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2023/01/24/current-verification-efforts.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2023/04/26/representation-of-rust-methods-in-coq.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2023/05/28/monad-for-side-effects-in-rust.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2023/08/25/trait-representation-in-coq.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2023/11/08/rust-thir-and-bundled-traits.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2023/11/26/rust-function-body.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2023/12/13/rust-verify-erc-20-smart-contract.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/01/04/rust-translating-match.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/01/18/update-coq-of-rust.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/02/02/formal-verification-for-aleph-zero.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/02/14/experiment-coq-of-hs.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/02/22/journey-coq-of-go.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/02/29/improvements-rust-translation.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/03/08/improvements-rust-translation-part-2.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/03/22/improvements-rust-translation-part-3.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/04/03/monadic-notation-for-rust-translation.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/04/26/translation-core-alloc-crates.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/05/10/translation-of-python-code.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/06/28/coq-of-solidity-1.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/08/07/coq-of-solidity-2.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/08/12/coq-of-solidity-3.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
2 changes: 1 addition & 1 deletion blog/2024/08/13/coq-of-solidity-4.html
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,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><link rel="stylesheet" href="/assets/css/styles.d108e708.css">
<script src="/assets/js/runtime~main.65672b89.js" defer="defer"></script>
<script src="/assets/js/runtime~main.0141c4af.js" defer="defer"></script>
<script src="/assets/js/main.06486d2a.js" defer="defer"></script>
</head>
<body class="navigation-with-keyboard">
Expand Down
Loading

0 comments on commit 9528b4a

Please sign in to comment.