A framework for executable UC specifications.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thomas Kerber e9c05e676b
Not sure if this is working.
1 year ago
..
Examples Attempt to move closer to actual proofs. 1 year ago
List.agda Start working on probability stuff. 1 year ago
Probability.agda Attempt to move closer to actual proofs. 1 year ago
Rational.agda Build rational arithmetic. 1 year ago
Security.agda Attempt to move closer to actual proofs. 1 year ago
World.agda Not sure if this is working. 1 year ago