Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

use pypantograph for checking submitted statements

0115dcf 6 days ago

169 Bytes

	import Lake
	open Lake DSL

	require aesop from git
	"https://github.com/leanprover-community/aesop.git" @ "v4.22.0"

	package Example

	@[default_target]
	lean_lib Example