This project implements a Python interpreter in Lean 4 using the lambda-py semantics. It uses Racket's lambda-py as a frontend (parser + desugarer) and Lean as the execution backend. Python Source ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results