-
- Downloads
initial version
Showing
- .gitattributes 7 additions, 0 deletions.gitattributes
- .gitignore 21 additions, 0 deletions.gitignore
- .gitlab-ci.yml 97 additions, 0 deletions.gitlab-ci.yml
- LICENSE 28 additions, 0 deletionsLICENSE
- Makefile 55 additions, 0 deletionsMakefile
- README.md 42 additions, 1 deletionREADME.md
- _CoqProject 7 additions, 0 deletions_CoqProject
- coq-bitvector.opam 19 additions, 0 deletionscoq-bitvector.opam
- coq-lint.sh 12 additions, 0 deletionscoq-lint.sh
- test-normalizer.sed 6 additions, 0 deletionstest-normalizer.sed
- theories/bitvector.v 1272 additions, 0 deletionstheories/bitvector.v
Loading
Please register or sign in to comment