GitHub repository: AgusSett/thesis
Primary language: TeX
Created: 2023-01-20T17:58:56Z
Description: Formalización de Sistema I con tipo Top en Agda