lean-expr-tree / README.md
dx2102's picture
initial commit
d468aa0 verified
metadata
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