A framework for executable UC specifications.
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
Thomas Kerber e9c05e676b
Not sure if this is working.
il y a 3 ans
Yggdrasil Not sure if this is working. il y a 3 ans
LICENSE Add license. il y a 3 ans
yggdrasil.agda-lib Start constructing world. il y a 3 ans