Libs mengikut tag "coq"

coq

  • 4.3k
  • OCaml
  • GNU Lesser General Public License v3.0 only

CompCert

  • 1.6k
  • Coq
  • GNU General Public License v3.0

UniMath

  • 853
  • Coq
  • GNU General Public License v3.0

magmide

math-comp

jscoq

practical-fm

proofs

  • 259
  • Coq
  • GNU General Public License v3.0

awesome-coq

  • 233
  • /DEVs
  • Creative Commons Zero v1.0 Universal

coq-of-ocaml

Coqtail

Coq-Equations

  • 197
  • Coq
  • GNU Lesser General Public License v3.0 only

principia

  • 193
  • TeX
  • GNU General Public License v3.0 only

verdi-raft

  • 168
  • Coq
  • BSD 2-clause "Simplified"

jasmin

analysis

  • 158
  • Coq
  • GNU General Public License v3.0

fourcolor

  • 131
  • Coq
  • GNU General Public License v3.0

kami

ttlite

coq-serapi

  • 114
  • OCaml
  • GNU General Public License v3.0

corn

  • 108
  • Coq
  • GNU General Public License v3.0 only

toychain

  • 106
  • Coq
  • BSD 2-clause "Simplified"

koika

  • 104
  • Coq
  • GNU General Public License v3.0 only

silveroak

  • 97
  • Coq
  • Apache License 2.0

coq-library-undecidability

  • 96
  • Coq
  • GNU General Public License v3.0

ConCert

next-700-module-systems

  • 75
  • HTML
  • GNU General Public License v3.0 only

vericert

  • 71
  • Coq
  • GNU General Public License v3.0 only

hs-to-coq

rupicola