A framework for executable UC specifications.
No puede seleccionar más de 25 temas Los temas deben comenzar con una letra o número, pueden incluir guiones ('-') y pueden tener hasta 35 caracteres de largo.
Thomas Kerber e9c05e676b
Not sure if this is working.
hace 1 año
Yggdrasil Not sure if this is working. hace 1 año
LICENSE Add license. hace 1 año
yggdrasil.agda-lib Start constructing world. hace 1 año