Hugging Face Space: wr1240148048/stack_project_to_mathlib4_search
Author: wr1240148048
SDK: gradio
title: Stack Project To Mathlib4 Search
short_description: Search for theorems in Mathlib4 using Stack project' data