Popular repositories Loading

1. coq-sequent-calculus coq-sequent-calculus Public

   Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic

   Coq 44 3

2. coq-topology coq-topology Public

   Topology library for Coq

   Coq 11

3. coq-zorns-lemma coq-zorns-lemma Public

   Naive set theory library for Coq

   Coq 7

4. lfs-dpkg lfs-dpkg Public

   Linux From Scratch using dpkg

   XSLT 1 2

5. groebner-zx groebner-zx Public

   Small tool to calculate Groebner bases for ideals of Z[x]

   C++ 1

6. ghost-word-list ghost-word-list Public

   Word list for Ghost code golf challenge