An interactive type checker for dependent types with general recursion (System Description).

Valentin Pasquale, lvaro Garca-Prez

Browse the full PPDP paper archive.