-
fcf Public
Foundational Cryptography Framework for machine-checked proofs of cryptography.
-
-
VST Public
Forked from PrincetonUniversity/VSTVerified Software Toolchain
Coq Other UpdatedAug 12, 2017 -
ffbsolver Public
class project for AM221 -- solver that finds an optimal lineup in fantasy football
R UpdatedMay 1, 2014 -