Pinned Repositories
anders
🧊 Модальний гомотопічний верифікатор математики
axio
🧊 Методологія верифікації теорем
cafe
🧊 Презентації та воркшопи
christine
🧊 Автоматизована система доведення теорем на основі числення індуктивних конструкцій
dan
🧊 Сімпліціальна теорія типів
fabien
🧊 A¹ Теорія гомотопій
groupoid.space
🧊 Інститут формальної математики
henk
🧊 Чиста система з всесвітами
laurent
🧊 Теорія типів для теорем математичного і функціонального аналізів
urs
🧊 Еквіваріантна теорія типів супергеометрії
L'Infini des Groupoïdes's Repositories
groupoid/henk
🧊 Чиста система з всесвітами
groupoid/axio
🧊 Методологія верифікації теорем
groupoid/groupoid.space
🧊 Інститут формальної математики
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
groupoid/cafe
🧊 Презентації та воркшопи
groupoid/TeX
🧊 TeX-подібна система верстки наукових праць
groupoid/alonzo
🧊 Типізоване -גчислення
groupoid/joe
🧊 Мінімальна внутрішня мова декартово-замкнених категорій
groupoid/languages
🧊 Енциклопедія мов програмування
groupoid/laurent
🧊 Теорія типів для теорем математичного і функціонального аналізів
groupoid/yves
🧊 Мінімальна внутрішння мова симетричних моноїдальних категорій
groupoid/christine
🧊 Автоматизована система доведення теорем на основі числення індуктивних конструкцій
groupoid/dan
🧊 Сімпліціальна теорія типів
groupoid/fabien
🧊 A¹ Теорія гомотопій
groupoid/jack
🧊 Теорія типів Джека Морави
groupoid/per
🧊 Система доведення теорем на основі W-індукції
groupoid/urs
🧊 Еквіваріантна теорія типів супергеометрії
groupoid/leslie
Верифікатор розподілених у просторі і часі протоколів TLA+
groupoid/.github
🧊 Домашня сторінка організації
groupoid/frank
🧊 Мінімальна індуктивна система