Best 3 Mltt Open Source Projects

HoTT UF Agda Lecture Notes

Lecture notes on univalent foundations of mathematics with Agda

Groupoid.space

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

Anders

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