GitHub - arjunvish/InvCond-CoqProofs: Proofs of Bitvector Invertibility Conditions using Coq · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 112 Commits
ICWrittenProofs		ICWrittenProofs
bv		bv
.gitignore		.gitignore
CoqProofNotes		CoqProofNotes
int_check_eq_bvneg.v		int_check_eq_bvneg.v
todocpp		todocpp

About

Proofs of Bitvector Invertibility Conditions using Coq

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rocq Prover 100.0%