From f4c4b5ffb06e50da1a1a956819a72974001bf5e9 Mon Sep 17 00:00:00 2001 From: Kentaro Ozeki <32771324+ozekik@users.noreply.github.com> Date: Thu, 25 Apr 2024 21:38:20 +0900 Subject: [PATCH] Deployed 174eb3f with MkDocs version: 1.5.3 --- .nojekyll | 0 404.html | 695 ++ alternatives/index.html | 906 +++ assets/_markdown_exec_ansi.css | 355 + assets/_markdown_exec_pyodide.css | 49 + assets/_markdown_exec_pyodide.js | 109 + assets/_mkdocstrings.css | 119 + assets/images/favicon.png | Bin 0 -> 1870 bytes assets/javascripts/bundle.3220b9d7.min.js | 29 + assets/javascripts/bundle.3220b9d7.min.js.map | 7 + assets/javascripts/lunr/min/lunr.ar.min.js | 1 + assets/javascripts/lunr/min/lunr.da.min.js | 18 + assets/javascripts/lunr/min/lunr.de.min.js | 18 + assets/javascripts/lunr/min/lunr.du.min.js | 18 + assets/javascripts/lunr/min/lunr.el.min.js | 1 + assets/javascripts/lunr/min/lunr.es.min.js | 18 + assets/javascripts/lunr/min/lunr.fi.min.js | 18 + assets/javascripts/lunr/min/lunr.fr.min.js | 18 + assets/javascripts/lunr/min/lunr.he.min.js | 1 + assets/javascripts/lunr/min/lunr.hi.min.js | 1 + assets/javascripts/lunr/min/lunr.hu.min.js | 18 + assets/javascripts/lunr/min/lunr.hy.min.js | 1 + assets/javascripts/lunr/min/lunr.it.min.js | 18 + assets/javascripts/lunr/min/lunr.ja.min.js | 1 + assets/javascripts/lunr/min/lunr.jp.min.js | 1 + assets/javascripts/lunr/min/lunr.kn.min.js | 1 + assets/javascripts/lunr/min/lunr.ko.min.js | 1 + assets/javascripts/lunr/min/lunr.multi.min.js | 1 + assets/javascripts/lunr/min/lunr.nl.min.js | 18 + assets/javascripts/lunr/min/lunr.no.min.js | 18 + assets/javascripts/lunr/min/lunr.pt.min.js | 18 + assets/javascripts/lunr/min/lunr.ro.min.js | 18 + assets/javascripts/lunr/min/lunr.ru.min.js | 18 + assets/javascripts/lunr/min/lunr.sa.min.js | 1 + .../lunr/min/lunr.stemmer.support.min.js | 1 + assets/javascripts/lunr/min/lunr.sv.min.js | 18 + assets/javascripts/lunr/min/lunr.ta.min.js | 1 + assets/javascripts/lunr/min/lunr.te.min.js | 1 + assets/javascripts/lunr/min/lunr.th.min.js | 1 + assets/javascripts/lunr/min/lunr.tr.min.js | 18 + assets/javascripts/lunr/min/lunr.vi.min.js | 1 + assets/javascripts/lunr/min/lunr.zh.min.js | 1 + assets/javascripts/lunr/tinyseg.js | 206 + assets/javascripts/lunr/wordcut.js | 6708 +++++++++++++++++ .../workers/search.b8dbb3d2.min.js | 42 + .../workers/search.b8dbb3d2.min.js.map | 7 + assets/stylesheets/main.66ac8b77.min.css | 1 + assets/stylesheets/main.66ac8b77.min.css.map | 1 + assets/stylesheets/palette.06af60db.min.css | 1 + .../stylesheets/palette.06af60db.min.css.map | 1 + contributing/index.html | 776 ++ index.html | 1183 +++ install/index.html | 784 ++ js/extra.js | 0 js/mathjax.js | 18 + jupyter/index.html | 1555 ++++ objects.inv | Bin 0 -> 525 bytes overrides/main.html | 10 + reference/_semantics/index.html | 2746 +++++++ reference/semantics/base/index.html | 1351 ++++ reference/semantics/classical/index.html | 988 +++ reference/semantics/truth_table/index.html | 2178 ++++++ requirements.txt | 94 + search/search_index.json | 1 + sitemap.xml | 93 + sitemap.xml.gz | Bin 0 -> 382 bytes usage/automated-reasoning/index.html | 915 +++ usage/grammars/index.html | 992 +++ usage/kripke/index.html | 778 ++ usage/latex/index.html | 752 ++ usage/models/index.html | 1513 ++++ usage/natural-deduction/index.html | 1024 +++ usage/sequent-calculi/index.html | 964 +++ usage/tableaux/index.html | 1090 +++ usage/truth-tables/index.html | 2077 +++++ 75 files changed, 31405 insertions(+) create mode 100644 .nojekyll create mode 100644 404.html create mode 100644 alternatives/index.html create mode 100644 assets/_markdown_exec_ansi.css create mode 100644 assets/_markdown_exec_pyodide.css create mode 100644 assets/_markdown_exec_pyodide.js create mode 100644 assets/_mkdocstrings.css create mode 100644 assets/images/favicon.png create mode 100644 assets/javascripts/bundle.3220b9d7.min.js create mode 100644 assets/javascripts/bundle.3220b9d7.min.js.map create mode 100644 assets/javascripts/lunr/min/lunr.ar.min.js create mode 100644 assets/javascripts/lunr/min/lunr.da.min.js create mode 100644 assets/javascripts/lunr/min/lunr.de.min.js create mode 100644 assets/javascripts/lunr/min/lunr.du.min.js create mode 100644 assets/javascripts/lunr/min/lunr.el.min.js create mode 100644 assets/javascripts/lunr/min/lunr.es.min.js create mode 100644 assets/javascripts/lunr/min/lunr.fi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.fr.min.js create mode 100644 assets/javascripts/lunr/min/lunr.he.min.js create mode 100644 assets/javascripts/lunr/min/lunr.hi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.hu.min.js create mode 100644 assets/javascripts/lunr/min/lunr.hy.min.js create mode 100644 assets/javascripts/lunr/min/lunr.it.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ja.min.js create mode 100644 assets/javascripts/lunr/min/lunr.jp.min.js create mode 100644 assets/javascripts/lunr/min/lunr.kn.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ko.min.js create mode 100644 assets/javascripts/lunr/min/lunr.multi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.nl.min.js create mode 100644 assets/javascripts/lunr/min/lunr.no.min.js create mode 100644 assets/javascripts/lunr/min/lunr.pt.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ro.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ru.min.js create mode 100644 assets/javascripts/lunr/min/lunr.sa.min.js create mode 100644 assets/javascripts/lunr/min/lunr.stemmer.support.min.js create mode 100644 assets/javascripts/lunr/min/lunr.sv.min.js create mode 100644 assets/javascripts/lunr/min/lunr.ta.min.js create mode 100644 assets/javascripts/lunr/min/lunr.te.min.js create mode 100644 assets/javascripts/lunr/min/lunr.th.min.js create mode 100644 assets/javascripts/lunr/min/lunr.tr.min.js create mode 100644 assets/javascripts/lunr/min/lunr.vi.min.js create mode 100644 assets/javascripts/lunr/min/lunr.zh.min.js create mode 100644 assets/javascripts/lunr/tinyseg.js create mode 100644 assets/javascripts/lunr/wordcut.js create mode 100644 assets/javascripts/workers/search.b8dbb3d2.min.js create mode 100644 assets/javascripts/workers/search.b8dbb3d2.min.js.map create mode 100644 assets/stylesheets/main.66ac8b77.min.css create mode 100644 assets/stylesheets/main.66ac8b77.min.css.map create mode 100644 assets/stylesheets/palette.06af60db.min.css create mode 100644 assets/stylesheets/palette.06af60db.min.css.map create mode 100644 contributing/index.html create mode 100644 index.html create mode 100644 install/index.html create mode 100644 js/extra.js create mode 100644 js/mathjax.js create mode 100644 jupyter/index.html create mode 100644 objects.inv create mode 100644 overrides/main.html create mode 100644 reference/_semantics/index.html create mode 100644 reference/semantics/base/index.html create mode 100644 reference/semantics/classical/index.html create mode 100644 reference/semantics/truth_table/index.html create mode 100644 requirements.txt create mode 100644 search/search_index.json create mode 100644 sitemap.xml create mode 100644 sitemap.xml.gz create mode 100644 usage/automated-reasoning/index.html create mode 100644 usage/grammars/index.html create mode 100644 usage/kripke/index.html create mode 100644 usage/latex/index.html create mode 100644 usage/models/index.html create mode 100644 usage/natural-deduction/index.html create mode 100644 usage/sequent-calculi/index.html create mode 100644 usage/tableaux/index.html create mode 100644 usage/truth-tables/index.html diff --git a/.nojekyll b/.nojekyll new file mode 100644 index 0000000..e69de29 diff --git a/404.html b/404.html new file mode 100644 index 0000000..2be46d0 --- /dev/null +++ b/404.html @@ -0,0 +1,695 @@ + + + +
+ + + + + + + + + + + + + + + + +NLTK is a Python library for Natural Language Processing, but it includes some logic-related modules:
+