Software
Some links to software produced by the group are here:
- Bagahk, a verified sound and complete decision procedure in Coq.
- sc, an LF signature compiler
- Archon, a directly reflective meta-programming
language
- Slothrop,
a Knuth-Bendix completion tool
- CVC, a cooperating validity checker