valis

Pinned Repositories

CT2020
Language:TeX3 3 02
DT2018
Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
Language:VCL15 6 08
DT2019.1
Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года
9 5 03
DT2021
1 2 06
DT2022
Dependent types 2022
2 2 011
DT2023
Dependent Types 2023
2 2 03
DT2024
212
hoq
A language based on homotopy type theory with an interval
Language:Haskell84 14 14
HoTT
HoTT playground
Language:Haskell4 2 20
hott-doc
Language:TeX5 1 10

valis's Repositories

valis/hoq
A language based on homotopy type theory with an interval
Language:Haskell84 14 14
valis/DT2018
Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
Language:VCL15 6 08
valis/DT2019.1
Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года
9 5 03
valis/hott-doc
Language:TeX5 1 10
valis/HoTT
HoTT playground
Language:Haskell4 2 20
valis/CT2020
Language:TeX3 3 02
valis/DT2022
Dependent types 2022
2 2 011
valis/DT2023
Dependent Types 2023
2 2 03
valis/DT2024
212
valis/DT2021
1 2 06
valis/ars
Formalization of Abstract Rewriting Systems in Arend
0 1 00
valis/CT2021
Language:TeX0 2 01
valis/DT2019
2 01
valis/DT2020
2 03
valis/DT2020.1
2 08
valis/DT2021.1
2 02
valis/HoTT-book
A textbook on informal homotopy type theory
Language:TeX1 0
valis/ideavim
Vim emulation plug-in for IDEs based on the IntelliJ platform.
Language:Kotlin1 0
valis/ot-coq
ot-coq
Language:Coq1 0
valis/valis.github.io
Language:HTML2 0