Pushed to main at Verilean/sparkle

February 3rd, 2026 9:25 AM

Pushed to main at Verilean/sparkle

February 3rd, 2026 7:18 AM

Starred leanprover-community/ProofWidgets4

February 2nd, 2026 6:01 AM

Pushed to main at Verilean/xeus-lean

February 2nd, 2026 5:33 AM

Created branch main in Verilean/xeus-lean

February 2nd, 2026 5:28 AM

Starred leanprover-community/repl

February 1st, 2026 7:32 AM

Pushed to main at Verilean/sparkle

January 31st, 2026 3:21 AM

Starred argumentcomputer/LSpec

January 29th, 2026 10:45 PM

Starred alerad/leancert

January 24th, 2026 7:45 PM

Pushed to main at Verilean/hesper

January 24th, 2026 7:39 PM