Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /doc /api-data.rst

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 5 days ago

history blame contribute delete

66 Bytes

	Data
	=============

	.. automodule:: pantograph.data
	:members: