?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Proved constructed_from_not_received_implies_constructed
[rttp-proofs.git] / .gitignore
blob00c87c8c11a8b8c29330cbc9f6522103a823f506
1 output
2 *~
3 \#*\#
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.