-
Freek Wiedijk authored
- added why Timmy's work also is interesting if you are not interested in math but only in crypto (it's a sanity check on our formalization of the RFC)
01f7a34d
- added why Timmy's work also is interesting if you are not interested in math but only in crypto (it's a sanity check on our formalization of the RFC)