A framework for executable UC specifications.
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.
Thomas Kerber e9c05e676b
Not sure if this is working.
před 1 rokem
Yggdrasil Not sure if this is working. před 1 rokem
LICENSE Add license. před 1 rokem
yggdrasil.agda-lib Start constructing world. před 1 rokem