Hacker GitHub

← All repos

digama0/mm0

View on GitHub ↗ ★ 422 Lean

Metamath Zero specification language

14 mentions on Hacker News by 7 people: 1 story, 13 comments · first 2019-10-26 · latest 2026-07-30

Mentions per year 14 mentions · busiest year 2026 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Metamath C
    story by smj-edison · 2026-04-10 · 0 comments