adampetcher

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

am221_final

ffbsolver

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

VST

Verified Software Toolchain