A framework for executable UC specifications.
您最多选择25个主题 主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符
Thomas Kerber e9c05e676b
Not sure if this is working.
3 年前
Yggdrasil Not sure if this is working. 3 年前
LICENSE Add license. 3 年前
yggdrasil.agda-lib Start constructing world. 3 年前