Groupoïd

icon indicating a website link https://groupoid.space/

icon location Ukraine icon location Лабораторія «Групоїд Інфініті». Факультет прикладної математики Київського політехнічного інституту імені Ігоря Сікорського.

Results 7 repositories owned by Groupoïd

henk

144
Stars
20
Forks
Watchers

🧊 Чиста система з всесвітами

verified publisher icon groupoid

cafe

21
Stars
2
Forks
Watchers

🧊 Презентації та воркшопи

verified publisher icon groupoid

cubical.systems

28
Stars
19
Forks
Watchers

🧊 Кубічні Системи Типів

verified publisher icon groupoid

monography

92
Stars
13
Forks
Watchers

🧊 Перша Формальна Система

verified publisher icon groupoid

groupoid.space

35
Stars
13
Forks
Watchers

🧊 Інститут формальної математики

verified publisher icon groupoid

alonzo

15
Stars
1
Forks
Watchers

🧊 Типізоване ‏-ג‏‎числення

verified publisher icon groupoid

anders

17
Stars
3
Forks
Watchers

🧊 Модальний гомотопічний верифікатор математики

verified publisher icon groupoid