Beast code in Giters

adampetcher's repositories

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Language:CoqNOASSERTION48 7 15

020

class project for AM221 -- solver that finds an optimal lineup in fantasy football

Language:R000

Language:JavaApache-2.0000

Verified Software Toolchain

Language:CoqNOASSERTION000