A framework for executable UC specifications.
Du kan inte välja fler än 25 ämnen Ämnen måste starta med en bokstav eller siffra, kan innehålla bindestreck ('-') och vara max 35 tecken långa.
Thomas Kerber e9c05e676b
Not sure if this is working.
1 år sedan
Yggdrasil Not sure if this is working. 1 år sedan
LICENSE Add license. 1 år sedan
yggdrasil.agda-lib Start constructing world. 1 år sedan