lasseblaauwbroek Goto Github PK

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

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

custom-archive

docker-base

Parent image for Docker images of the Coq proof assistant [maintainer=@erikmd]

docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

dune

A composable build system for OCaml.

embed-like-gist

Embed a file from Github repository just like Github Gist.

graph2tac

graph2tac converts graphs to tactics

hplugin

jquery.graphviz.svg

jquery plugin to make graphviz svg charts responsive

jscoq

A port of Coq to Javascript -- Run Coq in your Browser

lambda-globalize

Reference implementation for hashing modulo context-sensitive alpha-equivalence

minimal

Minimal is a Jekyll theme for GitHub Pages

nixpkgs

Nix Packages collection

ocaml-xxhash

OCaml bindings for xxHash, an extremely fast hash algorithm.

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

Main public package repository for opam, the source package manager of OCaml.

pycapnp

Cap'n Proto serialization/RPC system - Python bindings

quickchick

Randomized Property-Based Testing Plugin for Coq

rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting