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-elpi
Coq plugin embedding elpi
LasseBlaauwbroek/embed-like-gist
Embed a file from Github repository just like Github Gist.
LasseBlaauwbroek/minimal
Minimal is a Jekyll theme for GitHub Pages
LasseBlaauwbroek/nixpkgs
Nix Packages collection
LasseBlaauwbroek/slate
Slate is a Jekyll theme for GitHub Pages
LasseBlaauwbroek/tmp-archive
LasseBlaauwbroek/websockets
Library for building WebSocket servers and clients in Python