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.
: An automated reasoning tool for the
: A (very) prototypical proof checker based on combinatory logic.
: A space-efficient implementation of red-black trees.
back to main page
Last updated 30 March 2017 by Łukasz Czajka