@software{Prieto-CubidesGarzonSicard-Ramirez:zenodo:2018,
    Author = {Prieto-Cubides, Jonathan and Garz{\'o}n, Camilo Andr{\'e}s Rodr{\'\i}guez and Sicard-Ram{\'\i}rez, Andr{\'e}s},
    Month = {October},
    Publisher = {Zenodo},
    Title = {A Library for Classical Propositional Logic in Agda},
    URL = {https://doi.org/10.5281/zenodo.1442448},
    Version = {1111},
    Year = {2018},
    bdsk-url-1 = {https://doi.org/10.5281/zenodo.1442448},
    date-added = {2020-09-07 08:31:07 +0200},
    date-modified = {2020-09-07 08:32:21 +0200},
    doi = {10.5281/zenodo.1442448}
}

@software{Prieto-CubidesGarzonSicard-Ramirez:zenodo:2018, Author = {Prieto-Cubides, Jonathan and Garz{\'o}n, Camilo Andr{\'e}s Rodr{\'\i}guez and Sicard-Ram{\'\i}rez, Andr{\'e}s}, Month = {October}, Publisher = {Zenodo}, Title = {A Library for Classical Propositional Logic in Agda}, URL = {https://doi.org/10.5281/zenodo.1442448}, Version = {1111}, Year = {2018}, bdsk-url-1 = {https://doi.org/10.5281/zenodo.1442448}, date-added = {2020-09-07 08:31:07 +0200}, date-modified = {2020-09-07 08:32:21 +0200}, doi = {10.5281/zenodo.1442448} }