A framework for executable UC specifications.
Ви не можете вибрати більше 25 тем Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.
Thomas Kerber e9c05e676b
Not sure if this is working.
10 місяці тому
Yggdrasil Not sure if this is working. 10 місяці тому
LICENSE Add license. 10 місяці тому
yggdrasil.agda-lib Start constructing world. 10 місяці тому