Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

use pypantograph for checking submitted statements

0115dcf 9 days ago

100 Bytes

	import Pantograph.Tactic.Assign
	import Pantograph.Tactic.Fragment
	import Pantograph.Tactic.Prograde