Hugging Face Space: dx2102/search-mathlib
Author: dx2102
SDK: docker
title: Search Mathlib
license: mit
short_description: Search for theorems and definitions in Mathlib and Lean4.