GitHub repository: ruibaptista/analysis
Created: 2018-07-04T16:15:20Z
Description: Playing with constructive real analysis