Skip to content
This repository was archived by the owner on Sep 17, 2026. It is now read-only.

Release

Latest
Latest

Choose a tag to compare

View all tags
@andres-erbsen andres-erbsen released this 18 Mar 15:22
· 5 commits to master since this release
v1.6
049bd63
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Merge pull request #57 from JasonGross/opam

Add coq-bbv.opam file
Assets 2
Loading