GitHub repository: plurigrid/underestimates
Primary language: Python
Description: code that illustrates the halting problem by attacking code to automatically prove or verify estimates in analysis