GitHub · Where software is built

Open

No due date

Last updated Aug 22, 2025

89% complete

The first draft of the paper is finished.

Select all issues: List view

Bump Lean and Mathlib

#118

· Ivan-Sergeyev opened

on Jun 23, 2025

Think of a title

#132

· madvorak opened

on Jun 26, 2025