Hugging Face's logo

Spaces:
delta-lab-ai
/
lean-refactor-arena
Running

App Files Community
lean-refactor-arena / PyPantograph /src /Test /Frontend.lean
mikeljl's picture
mikeljl
use pypantograph for checking submitted statements
0115dcf
raw
history blame contribute delete
87 Bytes
import Test.Frontend.Collect
import Test.Frontend.Distil
import Test.Frontend.Refactor