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 месяцев назад