GitHub repository: mnPanic/tesis
Primary language: Haskell
Description: Tesis de licenciatura. DC UBA. PPA - Pani's Proof Assistant