coq-galois-theory

File Summary + Labels Uploaded Size
coq_proposal.pdf Project Proposal May 26, 2007 84.2KB