Space: wr1240148048/stack_project_to_mathlib4_search
title: Stack Project To Mathlib4 Search
sdk: gradio
short_description: Search for theorems in Mathlib4 using Stack project' data
Tags: gradio, region:us