Spaces:

dx2102
/

lean-expr-tree

Sleeping

lean-expr-tree / README.md

initial commit

d468aa0 verified 4 months ago

213 Bytes

	---
	title: Lean Expr Tree
	emoji: 🏢
	colorFrom: purple
	colorTo: yellow
	sdk: docker
	pinned: false
	license: mit
	---

	Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference