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.
  1. CoqHammer: An automated reasoning tool for the Coq proof assistant.
  2. HCPL: A (very) prototypical proof checker based on combinatory logic.
  3. RbTree: A space-efficient implementation of red-black trees.

back to main page Last updated 30 March 2017 by Łukasz Czajka