Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

use pypantograph for checking submitted statements

0115dcf 6 days ago

139 Bytes

	Expr
	=============

	.. automodule:: pantograph.expr
	:members:

	.. autodata:: pantograph.expr.Expr
	.. autodata:: pantograph.expr.Tactic