Docs update from c969c7d

imandra-ai · Jan 17, 2024 · 5b7d09b · 5b7d09b
1 parent 1ab49af
commit 5b7d09b
Show file tree

Hide file tree

Showing 60 changed files with 105,318 additions and 103,149 deletions.
diff --git a/index.html b/index.html
diff --git a/notebooks/a-comparison-with-tla-plus/index.html b/notebooks/a-comparison-with-tla-plus/index.html
diff --git a/notebooks/concurrent-conflict-detection/index.html b/notebooks/concurrent-conflict-detection/index.html
diff --git a/notebooks/countdown/index.html b/notebooks/countdown/index.html
diff --git a/notebooks/crossing-river-safely/index.html b/notebooks/crossing-river-safely/index.html
diff --git a/notebooks/decomposition-intro/index.html b/notebooks/decomposition-intro/index.html
diff --git a/notebooks/decomposition/index.html b/notebooks/decomposition/index.html
diff --git a/notebooks/examples/index.html b/notebooks/examples/index.html
diff --git a/notebooks/exchange-implied-trading/index.html b/notebooks/exchange-implied-trading/index.html
diff --git a/notebooks/extracting-ocaml-modules-with-imandra-extract/index.html b/notebooks/extracting-ocaml-modules-with-imandra-extract/index.html
diff --git a/notebooks/idf/index.html b/notebooks/idf/index.html
diff --git a/notebooks/imandra-diaries-0/index.html b/notebooks/imandra-diaries-0/index.html
diff --git a/notebooks/imandra-discover/index.html b/notebooks/imandra-discover/index.html
diff --git a/notebooks/imandra-tools-intro/index.html b/notebooks/imandra-tools-intro/index.html
diff --git a/notebooks/imandravs/index.html b/notebooks/imandravs/index.html
diff --git a/notebooks/installation-docker/index.html b/notebooks/installation-docker/index.html
diff --git a/notebooks/installation-jupyter/index.html b/notebooks/installation-jupyter/index.html
diff --git a/notebooks/installation-manual-opam/index.html b/notebooks/installation-manual-opam/index.html
diff --git a/notebooks/installation-server-image/index.html b/notebooks/installation-server-image/index.html
diff --git a/notebooks/installation-simple/index.html b/notebooks/installation-simple/index.html
diff --git a/notebooks/installation-vscode/index.html b/notebooks/installation-vscode/index.html
diff --git a/notebooks/installation/index.html b/notebooks/installation/index.html
diff --git a/notebooks/introduction/index.html b/notebooks/introduction/index.html
diff --git a/notebooks/key-pair-security/index.html b/notebooks/key-pair-security/index.html
diff --git a/notebooks/loading-files/index.html b/notebooks/loading-files/index.html
diff --git a/notebooks/logic-and-program-modes/index.html b/notebooks/logic-and-program-modes/index.html
diff --git a/notebooks/plugins/index.html b/notebooks/plugins/index.html
diff --git a/notebooks/probabilistic-reasoning-in-ocaml/index.html b/notebooks/probabilistic-reasoning-in-ocaml/index.html
diff --git a/notebooks/probabilistic-reasoning-in-reasonml/index.html b/notebooks/probabilistic-reasoning-in-reasonml/index.html
diff --git a/notebooks/proving-program-termination/index.html b/notebooks/proving-program-termination/index.html
diff --git a/notebooks/python-api/index.html b/notebooks/python-api/index.html
diff --git a/notebooks/reasonml-facetime-state-machines/index.html b/notebooks/reasonml-facetime-state-machines/index.html
diff --git a/notebooks/reasonml-tic-tac-toe/index.html b/notebooks/reasonml-tic-tac-toe/index.html
diff --git a/notebooks/recursion-induction-and-rewriting/index.html b/notebooks/recursion-induction-and-rewriting/index.html
diff --git a/notebooks/reference/index.html b/notebooks/reference/index.html
diff --git a/notebooks/region-probabilities-example/index.html b/notebooks/region-probabilities-example/index.html
diff --git a/notebooks/region-probabilities/index.html b/notebooks/region-probabilities/index.html
diff --git a/notebooks/ripple-carry-adder/index.html b/notebooks/ripple-carry-adder/index.html
diff --git a/notebooks/school-scheduler/index.html b/notebooks/school-scheduler/index.html
diff --git a/notebooks/simple-stoplight-model/index.html b/notebooks/simple-stoplight-model/index.html
diff --git a/notebooks/simple-vehicle-controller/index.html b/notebooks/simple-vehicle-controller/index.html
diff --git a/notebooks/singasong/index.html b/notebooks/singasong/index.html
diff --git a/notebooks/six-swiss-exchange-pricing/index.html b/notebooks/six-swiss-exchange-pricing/index.html
diff --git a/notebooks/solver-synthesis/index.html b/notebooks/solver-synthesis/index.html
diff --git a/notebooks/sudoku/index.html b/notebooks/sudoku/index.html
diff --git a/notebooks/supervised-learning/index.html b/notebooks/supervised-learning/index.html
diff --git a/notebooks/ubs-case-study/index.html b/notebooks/ubs-case-study/index.html
diff --git a/notebooks/verification-attributes/index.html b/notebooks/verification-attributes/index.html
diff --git a/notebooks/verification-blast/index.html b/notebooks/verification-blast/index.html
diff --git a/notebooks/verification-commands/index.html b/notebooks/verification-commands/index.html
diff --git a/notebooks/verification-induction/index.html b/notebooks/verification-induction/index.html
diff --git a/notebooks/verification-simplification/index.html b/notebooks/verification-simplification/index.html
diff --git a/notebooks/verification-unrolling/index.html b/notebooks/verification-unrolling/index.html
diff --git a/notebooks/verification-waterfall/index.html b/notebooks/verification-waterfall/index.html
diff --git a/notebooks/verification/index.html b/notebooks/verification/index.html
diff --git a/notebooks/verifying-an-ros-node/index.html b/notebooks/verifying-an-ros-node/index.html
diff --git a/notebooks/verifying-merge-sort/index.html b/notebooks/verifying-merge-sort/index.html
diff --git a/notebooks/webservice-auth-logic/index.html b/notebooks/webservice-auth-logic/index.html
diff --git a/notebooks/welcome/index.html b/notebooks/welcome/index.html
diff --git a/notebooks/wip-recursion-induction-intro/index.html b/notebooks/wip-recursion-induction-intro/index.html