-
-
-
-
pg-org Public
Combination of ProofGeneral and Org-mode (experimental)
-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedJan 17, 2015 -
-
-
SiblingProperty Public
Proof about Sibling-Property: Binary-tree is Huffman-tree <-> Binary-tree satisfies Sibling-Property
Coq UpdatedAug 13, 2014 -
pandoc Public
Forked from jgm/pandocUniversal markup converter
Haskell GNU General Public License v2.0 UpdatedJul 23, 2014 -
hakyll Public
Forked from jaspervdj/hakyllA static website compiler library in Haskell
Haskell Other UpdatedJul 8, 2014 -
-
-
-
{{ message }}