Software projects of Łukasz Czajka
This page lists some software projects to which I have substantially contributed, and a few minor programs I've written by myself.
CoqHammer
: An automated reasoning tool for the
Coq
proof assistant.
HCPL
: A (very) prototypical proof checker based on combinatory logic.
RbTree
: A space-efficient implementation of red-black trees.
back to main page
Last updated 30 March 2017 by Łukasz Czajka