Eigentümer · AndrasKovacs

AndrasKovacs

Erfasste Open-Source-Repos von AndrasKovacs, sortiert nach Sternen.

2 Repos

#1
elaboration-zoo ↗@AndrasKovacsHaskell
Minimale Implementierungen für abhängige Typüberprüfung und Ausarbeitung
★ 797+2Sterne-Änderung der letzten 7 Tage
#2
smalltt ↗@AndrasKovacsLean
Demo für hochperformante Typentheorie-Ausarbeitung
★ 600+2Sterne-Änderung der letzten 7 Tage