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.
10 months ago
..
Examples Attempt to move closer to actual proofs. 10 months ago
List.agda Start working on probability stuff. 10 months ago
Probability.agda Attempt to move closer to actual proofs. 10 months ago
Rational.agda Build rational arithmetic. 10 months ago
Security.agda Attempt to move closer to actual proofs. 10 months ago
World.agda Not sure if this is working. 10 months ago