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 年前