Highlights
- Pro
-
-
knausj_talon Public
Forked from talonhub/communityConfig for talon for Mac, Windows and Linux. Very much in progress.
Python MIT License UpdatedOct 5, 2024 -
dfhack Public
Forked from DFHack/dfhackMemory hacking library for Dwarf Fortress and a set of tools that use it
C++ Other UpdatedSep 28, 2024 -
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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedNov 4, 2021 -
opam-coq-archive Public
Forked from coq/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedOct 28, 2021 -
-
easycrypt-doc Public
Forked from EasyCrypt/easycrypt-docEasyCrypt documentation
TeX UpdatedMay 28, 2021 -
coqdocjs Public
Forked from coq-community/coqdocjsJavaScript BSD 2-Clause "Simplified" License UpdatedMay 17, 2021 -
comp-dec-pdl Public archive
Completeness and Decidability for PDL in Coq
-
comp-dec-modal Public
A Machine-Checked Constructive Metatheory of Computation Tree Logic
-
-
fourcolor Public
Forked from coq-community/fourcolorFormal proof of the Four Color Theorem
Coq UpdatedJun 22, 2020 -
coqtheorem Public
Forked from yforster/coqtheoremA LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
TeX MIT License UpdatedMar 31, 2019 -
contribs-relation-algebra Public
Forked from coq-contribs/relation-algebraRelation Algebra and KAT
Coq GNU Lesser General Public License v3.0 UpdatedJun 11, 2018 -
relation-algebra Public
Forked from damien-pous/relation-algebraRelation algebra library for Coq
Coq Other UpdatedJul 14, 2016