Programming Synthesis

Formulated time complexity verification of a program as synthesizing a fix-point function. The demo uses a custom language with Python syntax.