/cs260r-hotcrp

Coq development to prove information confidentiality in HotCRP is correct.

Primary LanguageCoq

Watchers