groupoid/homotopy.dev groupoid/homotopy.dev

  • Stars
    star
    1
  • Language Pug
  • License
    ISC License
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
groupoid/homotopy.dev
github

groupoid

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

🧊 Anders: Homotopy Library Manual

More Repositories

1

henk

🧊 Чиста система з всесвітами
Erlang
144
star
2

monography

🧊 Перша формальна система
TeX
92
star
3

groupoid.space

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

cubical.systems

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

cafe

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

anders

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

castle.bravo

🧊 Castle Bravo: HoTT-∂ Type System with definitional Path-β
OCaml
16
star
8

alonzo

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

CCHM

🧊 Формалізація математики для CCHM
10
star
10

joe

🧊 Компілятор ML і віртуальна машина
OCaml
9
star
11

languages

🧊 Енциклопедія мов програмування
5
star
12

hopf

🧊 Фібрації Хопфа для CCHM
3
star
13

per

🧊 Числення індуктивних конструкцій
Erlang
2
star