m's repositories
Cat_on_Coq
Setoid-based Category Theory in Coq.
adlib-ssr
Additional library which depends on SSReflect.
Language:Coq000
coq
Coq 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 development of machine-checked proofs.
Language:OCamlLGPL-2.1000
Language:Makefile000
digraph
digraph, dominator, tree.
Language:Coq000
gijinka
#言語擬人化学園もの
000
hakyll
A static website compiler library in Haskell
NOASSERTION000
Language:HTML000
pandoc
Universal markup converter
GPL-2.0000
SiblingProperty
Proof about Sibling-Property: Binary-tree is Huffman-tree <-> Binary-tree satisfies Sibling-Property
Language:Coq000