Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

use pypantograph for checking submitted statements

0115dcf 6 days ago

180 Bytes

	import Pantograph.Frontend.Basic
	import Pantograph.Frontend.Distil
	import Pantograph.Frontend.InfoTree
	import Pantograph.Frontend.MetaTranslate
	import Pantograph.Frontend.Refactor