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 1 an
Yggdrasil Not sure if this is working. il y a 1 an
LICENSE Add license. il y a 1 an
yggdrasil.agda-lib Start constructing world. il y a 1 an