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