5 open source projects by wilbowma

A less devious proof assistant

A LaTeX package for formatting meta-theory.

a compiler from a lambda language to an assembly language, as a rewrite system

No description, website, or topics provided.

The source for "Compiling with Dependent Types" (my dissertation)