Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src /Pantograph /Version.lean

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 6 days ago

history blame contribute delete

91 Bytes

	namespace Pantograph

	@[export pantograph_version]
	def version := "0.3.10"

	end Pantograph