Bibliotheken geschreven in Coq

safegcd-bounds

  • 45

unbound

  • 40
  • BSD 3-clause "New" or "Revised"

advent-of-coq-2021

  • 34

verified-scheduling

  • 28

coq-simple-io

  • 27
  • MIT

aneris

  • 25
  • MIT

cps

  • 20
  • BSD 3-clause "New" or "Revised"

comonad-transformers

  • 12
  • BSD 3-clause "New" or "Revised"

regexp-Brzozowski

  • 12
  • MIT

friscv

  • 10
  • MIT

doubly-generic

  • 4
  • MIT

Doubly-Linked-List-VST

  • 2
  • GNU General Public License v3.0 only

recross-coq

  • 0
  • GNU General Public License v3.0 only

coq-proof

  • 0