-
Categories Public
A formalization of category theory in the Coq proof assistant.
-
-
-
-
iris Public
My personal copy of iris(https://gitlab.mpi-sws.org/FP/iris-coq.git)
-
-
prezto Public
Forked from sorin-ionescu/preztoThe configuration framework for Zsh
Shell MIT License UpdatedJun 10, 2023 -
-
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedSep 8, 2021 -
-
-
-
autosubst Public
Forked from coq-community/autosubstAutomation for de Bruijn syntax and substitution in Coq
Coq UpdatedMar 11, 2020 -
-
-
-
-
-
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 UpdatedFeb 12, 2019 -
verifast Public
Forked from verifast/verifastResearch prototype tool for modular formal verification of C and Java programs
OCaml Other UpdatedFeb 6, 2018 -
iris-spanning-tree Public
Verification of a concurrent in-place spanning tree algorithm in Iris
TeX UpdatedDec 14, 2017 -
-
-
-
column-enforce-mode Public
Forked from jordonbiondo/column-enforce-modeHighlight text that extends beyond a certain column. Can be used to enforce 80 column rule (well more like suggest, not enforce)
Emacs Lisp UpdatedOct 14, 2016 -
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Core formulae for the Homebrew package manager
Ruby Other UpdatedApr 14, 2016 -
company-coq Public
Forked from cpitclaudel/company-coqIDE extensions for Proof General's Coq mode
Emacs Lisp GNU General Public License v3.0 UpdatedMar 16, 2016 -
{{ message }}