Hacker GitHub

← All repos

teorth/estimates

View on GitHub ↗ ★ 344 JavaScript

Code to automatically prove or verify estimates in analysis

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2025-05-02 · latest 2025-05-10

Mentions per year 3 mentions · busiest year 2025 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 4
    A mathematical proof assistant (v2)
    story by ptrj_ · 2025-05-10 · 0 comments