Popular repositories Loading

1. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml 1

2. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

3. dale dale Public

   Forked from tomhrr/dale

   Lisp-flavoured C

   C++

4. mawled mawled Public

   Forked from tomhrr/mawled

   Tiling window manager

5. topology topology Public

   Forked from rocq-community/topology

   General Topology

   Coq

6. zorns-lemma zorns-lemma Public

   Forked from rocq-community/zorns-lemma

   This library develops some basic set theory. The main purpose I had in writing it was as support for the Topology library.

   Coq