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