Search Results for author:
Found 1 papers, 0 papers with code
A Semantic Search Engine for Mathlib4
In this paper, we present a semantic search engine for mathlib4 that accepts informal queries and finds the relevant theorems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
