genproof / quickproof-public

git clone https://github.com/genproof/quickproof-public.git

QuickProof: from executable C properties to machine-checked proofs (export mirror)