index
:
nixpkgs
add-beancount-ing-diba
add-cargo-espflash
add-cargo-feature-set
add-dodo
add-ghostie
add-iceportal
add-kdash
add-ldproxy
add-nemu
add-notifymuch
add-openbbterminal
add-swappy
add-vim-plugins
backport/update-python-pscript
cargo-espflash-license
cargo-public-api
fix-node-exporter-backslash-in-exec
fix-node-exporter-backslash-in-exec-tmp
init-cjson
init-fbcat
init-pdfium
init-prometheus-mpd-exporter
init-tageditor
init-tpm2-tss-engine
init-unused
master
mdbook-toc
nixos-22.11
submitting-changes-gitrm
update-bison
update-gitlint
update-libquotient
update-mdbook-open-on-gh
update-mutt
update-python-pscript
update-rust-analyzer
update-some-packages
update-tageditor
update-tasknc
update-tig
update-toot
update-ugrep
update-wordgrinder
update-zellij
updates
Contrib clone of nixpkgs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
Mode
Name
Size
d---------
Cheerios
39
log
stats
plain
d---------
CoLoR
39
log
stats
plain
d---------
HoTT
39
log
stats
plain
d---------
ITree
39
log
stats
plain
d---------
InfSeqExt
39
log
stats
plain
d---------
LibHyps
39
log
stats
plain
d---------
QuickChick
39
log
stats
plain
d---------
StructTact
39
log
stats
plain
d---------
VST
39
log
stats
plain
d---------
Velisarios
39
log
stats
plain
d---------
Verdi
39
log
stats
plain
d---------
Vpl
39
log
stats
plain
d---------
VplTactic
39
log
stats
plain
d---------
aac-tactics
39
log
stats
plain
d---------
addition-chains
39
log
stats
plain
d---------
autosubst
39
log
stats
plain
d---------
bignums
39
log
stats
plain
d---------
category-theory
39
log
stats
plain
d---------
ceres
39
log
stats
plain
d---------
compcert
39
log
stats
plain
d---------
contribs
39
log
stats
plain
d---------
coq-bits
39
log
stats
plain
d---------
coq-elpi
39
log
stats
plain
d---------
coq-ext-lib
39
log
stats
plain
d---------
coq-haskell
39
log
stats
plain
d---------
coq-lsp
39
log
stats
plain
d---------
coq-record-update
39
log
stats
plain
d---------
coqeal
39
log
stats
plain
d---------
coqhammer
39
log
stats
plain
d---------
coqide
39
log
stats
plain
d---------
coqprime
39
log
stats
plain
d---------
coqtail-math
39
log
stats
plain
d---------
coquelicot
39
log
stats
plain
d---------
corn
39
log
stats
plain
d---------
deriving
39
log
stats
plain
d---------
dpdgraph
39
log
stats
plain
d---------
equations
39
log
stats
plain
d---------
extructures
39
log
stats
plain
d---------
fiat
36
log
stats
plain
d---------
flocq
39
log
stats
plain
d---------
fourcolor
39
log
stats
plain
d---------
gaia-hydras
39
log
stats
plain
d---------
gaia
39
log
stats
plain
d---------
gappalib
39
log
stats
plain
d---------
goedel
39
log
stats
plain
d---------
graph-theory
39
log
stats
plain
d---------
heq
39
log
stats
plain
d---------
hierarchy-builder
39
log
stats
plain
d---------
hydra-battles
39
log
stats
plain
d---------
interval
39
log
stats
plain
d---------
iris-named-props
39
log
stats
plain
d---------
iris
39
log
stats
plain
d---------
itauto
75
log
stats
plain
d---------
ltac2
39
log
stats
plain
d---------
math-classes
39
log
stats
plain
d---------
mathcomp-abel
39
log
stats
plain
d---------
mathcomp-algebra-tactics
39
log
stats
plain
d---------
mathcomp-analysis
39
log
stats
plain
d---------
mathcomp-apery
39
log
stats
plain
d---------
mathcomp-bigenough
39
log
stats
plain
d---------
mathcomp-finmap
39
log
stats
plain
d---------
mathcomp-infotheo
39
log
stats
plain
d---------
mathcomp-real-closed
39
log
stats
plain
d---------
mathcomp-tarjan
39
log
stats
plain
d---------
mathcomp-word
39
log
stats
plain
d---------
mathcomp-zify
39
log
stats
plain
d---------
mathcomp
39
log
stats
plain
d---------
metacoq
39
log
stats
plain
d---------
metalib
39
log
stats
plain
d---------
multinomials
39
log
stats
plain
d---------
odd-order
39
log
stats
plain
d---------
paco
39
log
stats
plain
d---------
paramcoq
39
log
stats
plain
d---------
parsec
39
log
stats
plain
d---------
pocklington
39
log
stats
plain
d---------
reglang
39
log
stats
plain
d---------
relation-algebra
39
log
stats
plain
d---------
semantics
39
log
stats
plain
d---------
serapi
277
log
stats
plain
d---------
simple-io
75
log
stats
plain
d---------
smpl
39
log
stats
plain
d---------
smtcoq
39
log
stats
plain
d---------
stdpp
39
log
stats
plain
d---------
tlc
39
log
stats
plain
d---------
topology
39
log
stats
plain
d---------
trakt
39
log
stats
plain
d---------
vcfloat
39
log
stats
plain
d---------
vscoq-language-server
39
log
stats
plain
d---------
zorns-lemma
39
log
stats
plain