Pinned Repositories
apery
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
aspcud
A solver for package problems in CUDF format
capnp-rpc
Cap'n Proto RPC implementation
capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
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-dpdgraph
Build dependency graphs between COQ objects
coq-elpi
Coq plugin embedding elpi
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
LasseBlaauwbroek's Repositories
LasseBlaauwbroek/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.
LasseBlaauwbroek/apery
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
LasseBlaauwbroek/aspcud
A solver for package problems in CUDF format
LasseBlaauwbroek/capnp-rpc
Cap'n Proto RPC implementation
LasseBlaauwbroek/capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
LasseBlaauwbroek/coq-dpdgraph
Build dependency graphs between COQ objects
LasseBlaauwbroek/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
LasseBlaauwbroek/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
LasseBlaauwbroek/coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
LasseBlaauwbroek/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
LasseBlaauwbroek/custom-archive
LasseBlaauwbroek/docker-base
Parent image for Docker images of the Coq proof assistant [maintainer=@erikmd]
LasseBlaauwbroek/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
LasseBlaauwbroek/dune
A composable build system for OCaml.
LasseBlaauwbroek/graph2tac
graph2tac converts graphs to tactics
LasseBlaauwbroek/hplugin
LasseBlaauwbroek/jquery.graphviz.svg
jquery plugin to make graphviz svg charts responsive
LasseBlaauwbroek/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
LasseBlaauwbroek/lambda-globalize
Reference implementation for hashing modulo context-sensitive alpha-equivalence
LasseBlaauwbroek/ocaml-xxhash
OCaml bindings for xxHash, an extremely fast hash algorithm.
LasseBlaauwbroek/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
LasseBlaauwbroek/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
LasseBlaauwbroek/opam-repository
Main public package repository for opam, the source package manager of OCaml.
LasseBlaauwbroek/pycapnp
Cap'n Proto serialization/RPC system - Python bindings
LasseBlaauwbroek/QuickChick
Randomized Property-Based Testing Plugin for Coq
LasseBlaauwbroek/rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
LasseBlaauwbroek/serapi-example
LasseBlaauwbroek/smtcoq
Communication between Coq and SAT/SMT solvers
LasseBlaauwbroek/stdlib-fake
LasseBlaauwbroek/ttc-automation