rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / REPL.lean

rookiemango's picture

Upload folder using huggingface_hub

dddc1ae verified 5 months ago

history blame contribute delete

81 Bytes

	import REPL.Frontend
	import REPL.Lean.InfoTree
	import REPL.JSON
	import REPL.Main