Directory listing for /.codesphere-internal/nix/store/4fsaxffbala42sz17sj31rn87f96770y-nixpkgs/nixpkgs/pkgs/development/rocq-modules/

• aac-tactics/
• addition-chains/
• async-test/
• atbr/
• autosubst/
• autosubst-ocaml/
• bbv/
• bignums/
• CakeMLExtraction/
• category-theory/
• ceres/
• ceres-bs/
• CertiRocq/
• Cheerios/
• coinduction/
• CoLoR/
• compcert/
• ConCert/
• contribs/
• coq-bits/
• coq-elpi/
• coq-hammer/
• coq-haskell/
• coq-lsp/
• coq-matrix/
• coq-record-update/
• coq-tactical/
• coqeal/
• coqfmt/
• coqhammer/
• coqide/
• coqprime/
• coqtail-math/
• coquelicot/
• coqutil/
• corn/
• deriving/
• dpdgraph/
• ElmExtraction/
• equations/
• ExtLib/
• extructures/
• fcsl-pcm/
• flocq/
• fourcolor/
• gaia/
• gaia-hydras/
• gappalib/
• goedel/
• graph-theory/
• heq/
• hierarchy-builder/
• high-school-geometry/
• HoTT/
• http/
• hydra-battles/
• InfSeqExt/
• interval/
• iris/
• iris-named-props/
• itauto/
• ITree/
• itree-io/
• jasmin/
• json/
• lemma-overloading/
• LibHyps/
• ltac2/
• math-classes/
• mathcomp/
• mathcomp-abel/
• mathcomp-algebra-tactics/
• mathcomp-analysis/
• mathcomp-apery/
• mathcomp-bigenough/
• mathcomp-finmap/
• mathcomp-infotheo/
• mathcomp-real-closed/
• mathcomp-tarjan/
• mathcomp-word/
• mathcomp-zify/
• MenhirLib/
• metacoq/
• metalib/
• metarocq/
• micromega-plugin/
• mtac2/
• multinomials/
• odd-order/
• Ordinal/
• paco/
• paramcoq/
• parsec/
• parseque/
• pocklington/
• QuickChick/
• reglang/
• relation-algebra/
• rewriter/
• rocq-elpi/
• rocqnavi/
• RustExtraction/
• semantics/
• serapi/
• simple-io/
• smpl/
• smtcoq/
• ssprove/
• stalmarck/
• stdlib/
• stdpp/
• StructTact/
• tlc/
• topology/
• trakt/
• TypedExtraction/
• unicoq/
• validsdp/
• vcfloat/
• Velisarios/
• Verdi/
• verified-extraction/
• Vpl/
• VplTactic/
• vscoq-language-server/
• vsrocq-language-server/
• VST/
• wasmcert/
• waterproof/
• zorns-lemma/