Projects in Awesome Lists by groupoid
A curated list of projects in awesome lists by groupoid .
https://github.com/groupoid/henk
🧊 Чиста система з всесвітами
erlang lambda-cube pts pure termination
Last synced: 24 Jun 2025
https://github.com/groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
cubical-type-theory dependent-types mltt proof-assistant theorem-prover type-checker type-system
Last synced: 31 Jul 2025
https://github.com/groupoid/TeX
🧊 TeX-подібна система верстки наукових праць
Last synced: 19 Mar 2025
https://github.com/groupoid/per
🧊 Автоматизована система доведення теорем на основі W-індукції
Last synced: 12 Apr 2025
https://github.com/groupoid/laurent
🧊 Теорія типів для теорем математичного і функціонального аналізів
Last synced: 10 Apr 2025
https://github.com/groupoid/urs
🧊 Еквіваріантна теорія типів супергеометрії
Last synced: 02 Mar 2025
https://github.com/groupoid/christine
🧊 Автоматизована система доведення теорем на основі числення індуктивних конструкцій
Last synced: 28 Dec 2025
https://github.com/groupoid/leslie
Верифікатор розподілених у просторі і часі протоколів TLA+
Last synced: 09 Oct 2025