package coq-bbv

  1. Overview
  2. No Docs
An implementation of bitvectors in Coq.

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. T
    Tej Chajed
  2. H
    Haogang Chen
  3. A
    Adam Chlipala
  4. J
    Joonwon Choi
  5. A
    Andres Erbsen
  6. J
    Jason Gross
  7. S
    Samuel Gruetter
  8. F
    Frans Kaashoek
  9. A
    Alex Konradi
  10. G
    Gregory Malecha
  11. D
    Duckki Oe
  12. M
    Murali Vijayaraghavan
  13. N
    Nickolai Zeldovich
  14. D
    Daniel Ziegler

Maintainers

  1. G
    gmalecha@gmail.com

Sources

v1.5.tar.gz
sha512=43bf2c300b5a24275fecd4888ddda0a2ef88ceb22835130bf5fe61d00ddfd7c8634b70e35a45043f69d2f3ef783ee3295e6e1cd6b8b4645ab008d6c1afa36c33

Description

Published: 07 Mar 2024

Dependencies (2)

  1. coq >= "8.16" & < "8.21~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None