GitHub repository: matheusgirola/Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
Primary language: Jupyter Notebook
Description: Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX