Hacker GitHub

← All repos

James-Hanson/junk-theorems-in-lean

View on GitHub ↗ ★ 114 Lean

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2025-12-23 · latest 2026-09-04

Mentions per year 3 mentions · busiest year 2026 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 91
    Some Junk Theorems in Lean
    story by saithound · 2025-12-23 · 61 comments