Alejandro Calle-Saldarriaga

Alejandro Calle-Saldarriaga

Would describe myself as an Statistician or data scientist, whatever flavour you prefer. See CV section for full bio. Research interests: FDA, Robust/nonparametric statistics, statistical learning.

A set theory formalization in Agda.

Published in Working paper, 2017

Recommended citation: A. Calle-Saldarriaga. (2017). "A Set Theory Formalization." Tech. Report. Universidad EAFITs. https://acallesalda.github.io/files/settheoryagda.pdf

Abstract: A set theory formalization in agda. Our main goal was to prove the induction property. See the github repository: https://github.com/acallesalda/setform.

Download paper here