mathlib4

Here is 1 public repository matching this topic...

bkhtmm / mathlib4-reviewer-memory

Retrieval-grounded reviewer-memory tool over closed-PR review history of leanprover-community/mathlib4. Indexes ~158k past reviewer comments across ~35k closed PRs to flag concerns past reviewers have raised before.

theorem-proving code-review lean mathlib rag retrieval-augmented-generation mathlib4 ai-for-math

Updated Apr 20, 2026
Python

Improve this page

Add a description, image, and links to the mathlib4 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mathlib4 topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

mathlib4

Here is 1 public repository matching this topic...

bkhtmm / mathlib4-reviewer-memory

Improve this page

Add this topic to your repo