2023-02-10 14:45:12 +00:00
|
|
|
# Formal proofs
|
2016-10-14 08:44:25 +00:00
|
|
|
|
|
|
|
|
This repository houses all theory proofs to test the Fenrir project.
|
|
|
|
|
|
2016-10-14 09:05:37 +00:00
|
|
|
NOTE: some of the proofs might be tests, of for older versions of Fenrir
|
2016-10-14 08:44:25 +00:00
|
|
|
|
2023-02-10 14:45:12 +00:00
|
|
|
**This is a dump of proofs I worked on**
|
|
|
|
|
|
|
|
|
|
# TODO
|
|
|
|
|
|
|
|
|
|
* general clean up
|
|
|
|
|
* add cryptoverif proof
|
|
|
|
|
|
