mltt topic

List mltt repositories

HoTT-UF-Agda-Lecture-Notes

213
Stars
18
Forks
Watchers

Lecture notes on univalent foundations of mathematics with Agda

groupoid.space

35
Stars
13
Forks
Watchers

🧊 Інститут Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎΡ— ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ

anders

17
Stars
3
Forks
Watchers

🧊 Модальний Π³ΠΎΠΌΠΎΡ‚ΠΎΠΏΡ–Ρ‡Π½ΠΈΠΉ Π²Π΅Ρ€ΠΈΡ„Ρ–ΠΊΠ°Ρ‚ΠΎΡ€ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ