Skip to content

Commit

Permalink
index
Browse files Browse the repository at this point in the history
  • Loading branch information
@5HT
5HT committed Aug 5, 2024
1 parent a8c8842 commit 6209da6
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 12 deletions.
4 changes: 2 additions & 2 deletions lib/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,12 +26,12 @@
диференціальній геометріїї та в теорії гомотопій. Основи пропонують
фундаментальний базис який використовується для формалізації
сучасної математики в таких системах доведення теорем як: Coq, Agda, Lean.
</p><section><div class="macro"><div class="macro__col"><h3 id="mltt"><b>Мартіна-Льофа</b></h3><ol><li><a href='../foundations/mltt/pi/index.html'>Pi</a>,
</p><section><div class="macro"><div class="macro__col"><h3 id="mltt"><b>Теорії типів</b></h3><ol><li><a href='../foundations/mltt/pi/index.html'>Pi</a>,
<a href='../foundations/mltt/sigma/index.html'>Sigma</a>,
<a href='../foundations/mltt/id/index.html'>Id</a></li><li><a href='../foundations/mltt/inductive/index.html'>𝟘, 𝟙, 𝟚, W</a></li><li><a href='../foundations/mltt/either/index.html'>Either</a>,
<a href='../foundations/mltt/maybe/index.html'>Maybe</a></li><li><a href='../foundations/mltt/nat/index.html'>ℕ</a>,
<a href='../foundations/mltt/list/index.html'>List</a></li><li><a href='../foundations/mltt/fin/index.html'>Fin<sub>ℕ</sub></a>,
<a href='../foundations/mltt/vec/index.html'>Vec<sub>ℕ</sub></a></li></ol></div><div class="macro__col"><h3 id="univalent"><b>Унівалентні</b></h3><ol><li><a href="../foundations/univalent/path/index.html">Path</a></li><li><a href="../foundations/univalent/glue/index.html">Glue</a></li><li><a href="../foundations/univalent/equiv/index.html">Equivalence</a></li><li><a href="../foundations/univalent/funext/index.html">Homotopy</a></li><li><a href="../foundations/univalent/iso/index.html">Isomorphism</a></li></ol></div><div class="macro__col"><h3 id="modal"><b>Модальні</b></h3><ol><li><a href="../foundations/modal/modality/index.html">Modality</a></li><li><a href="../foundations/modal/infinitesimal/index.html">Infinitesimal</a></li><li><a href="../foundations/modal/localization/index.html">Localization</a></li><!-- li: a(href='../foundations/modal/process/index.html') Process --></ol></div></div></section><h2>Математики</h2><p>Друга частина базової бібліотеки містить формалізації математичних теорій
<a href='../foundations/mltt/vec/index.html'>Vec<sub>ℕ</sub></a></li></ol></div><div class="macro__col"><h3 id="univalent"><b>Унівалентні</b></h3><ol><li><a href="../foundations/univalent/path/index.html">Шляхи</a></li><li><a href="../foundations/univalent/glue/index.html">Склейки</a></li><li><a href="../foundations/univalent/equiv/index.html">Еквівалентності</a></li><li><a href="../foundations/univalent/funext/index.html">Гомотопії</a></li><li><a href="../foundations/univalent/iso/index.html">Ізоморфізми</a></li></ol></div><div class="macro__col"><h3 id="modal"><b>Модальні</b></h3><ol><li><a href="../foundations/modal/modality/index.html">Модальності</a></li><li><a href="../foundations/modal/infinitesimal/index.html">Інфінітезімальні</a></li><li><a href="../foundations/modal/localization/index.html">Локалізації</a></li><!-- li: a(href='../foundations/modal/process/index.html') Процеси --></ol></div></div></section><h2>Математики</h2><p>Друга частина базової бібліотеки містить формалізації математичних теорій
з різних галузей математики: аналіз, алгебра, геометрія, теорія гомотопій,
теорія категорій.
</p><section><div class="macro"><div class="macro__col"><h3 id="categories"><b>Аналіз</b></h3><ol><li><a href='../mathematics/analysis/topology/index.html'>Топологія</a></li><li><a href='../mathematics/analysis/set/index.html'>Множини</a></li><li><a href='../mathematics/analysis/rational/index.html'>ℚ</a>,
Expand Down
20 changes: 10 additions & 10 deletions lib/index.pug
View file
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ block content
section
.macro
.macro__col
h3#mltt <b>Мартіна-Льофа</b>
h3#mltt <b>Теорії типів</b>
ol
li: <a href='../foundations/mltt/pi/index.html'>Pi</a>,
<a href='../foundations/mltt/sigma/index.html'>Sigma</a>,
Expand All @@ -63,18 +63,18 @@ block content
.macro__col
h3#univalent <b>Унівалентні</b>
ol
li: a(href='../foundations/univalent/path/index.html') Path
li: a(href='../foundations/univalent/glue/index.html') Glue
li: a(href='../foundations/univalent/equiv/index.html') Equivalence
li: a(href='../foundations/univalent/funext/index.html') Homotopy
li: a(href='../foundations/univalent/iso/index.html') Isomorphism
li: a(href='../foundations/univalent/path/index.html') Шляхи
li: a(href='../foundations/univalent/glue/index.html') Склейки
li: a(href='../foundations/univalent/equiv/index.html') Еквівалентності
li: a(href='../foundations/univalent/funext/index.html') Гомотопії
li: a(href='../foundations/univalent/iso/index.html') Ізоморфізми
.macro__col
h3#modal <b>Модальні</b>
ol
li: a(href='../foundations/modal/modality/index.html') Modality
li: a(href='../foundations/modal/infinitesimal/index.html') Infinitesimal
li: a(href='../foundations/modal/localization/index.html') Localization
<!-- li: a(href='../foundations/modal/process/index.html') Process -->
li: a(href='../foundations/modal/modality/index.html') Модальності
li: a(href='../foundations/modal/infinitesimal/index.html') Інфінітезімальні
li: a(href='../foundations/modal/localization/index.html') Локалізації
<!-- li: a(href='../foundations/modal/process/index.html') Процеси -->

h2 Математики
p.
Expand Down

0 comments on commit 6209da6

Please sign in to comment.