Pinned Repositories
ccc
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.
coq-ext-lib
emacs24-starter-kit
A cleaner version of the literate starter kit based on Emacs24
graphs
Coq formalization of graph language
linearity
Formalization of Linear Logic and Related Programming Languages Metatheory
math-classes
A library of abstract interfaces for mathematical structures in Coq.
OcaIDE
An OCaml plug-in for Eclipse
owl
Universal toplevel for OCaml
SIGPLAN.github.io
SIGPLAN website
Zdancewic's Repositories
Zdancewic/linearity
Formalization of Linear Logic and Related Programming Languages Metatheory
Zdancewic/ccc
Zdancewic/owl
Universal toplevel for OCaml
Zdancewic/coq-ext-lib
Zdancewic/graphs
Coq formalization of graph language
Zdancewic/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Zdancewic/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.
Zdancewic/emacs24-starter-kit
A cleaner version of the literate starter kit based on Emacs24
Zdancewic/OcaIDE
An OCaml plug-in for Eclipse
Zdancewic/SIGPLAN.github.io
SIGPLAN website
Zdancewic/TestXCode