SASyLF: an educational proof assistant for language theory.

Jonathan Aldrich, Robert J. Simmons, Key Shin

Browse the full ICFP paper archive.