Topic · formal-mathematics

formal-mathematics

Tracked open-source repos tagged formal-mathematics, sorted by stars.

Repos

2

Total stars

2,538

Avg. stars

1,269

Share

0.00%

Topics that frequently appear alongside formal-mathematics on the same repo.

Recent risers

Repos created in the last 90 days, tagged formal-mathematics.

No new repos tagged with this topic in the last 90 days.

#1
LeanCopilot ↗@lean-dojoC++
LLMs as Copilots for Theorem Proving in Lean
★ 1,318+1Star change over the last 7 days
#2
formal-conjectures ↗@google-deepmindLean
A collection of formalized statements of conjectures in Lean.
★ 1,220+13Star change over the last 7 days

← Back to topics