Giters

DanFu09 / cs260r-hotcrp

Coq development to prove information confidentiality in HotCRP is correct.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cs260r-hotcrp

Coq development to prove information confidentiality in HotCRP is correct.

About

Coq development to prove information confidentiality in HotCRP is correct.

Languages

Language:Coq 65.9%Language:TeX 34.1%