Fermat's Last Theorem in Lean 4 (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Fermat's Last Theorem in Lean 4

First screen, captured 1 month ago.

Looks similar

Screenshot of github.com: Show HN: Openleetcode – Local LeetCode runner where tests live in the repo

Show HN: Openleetcode – Local LeetCode runner where tests live in the repo (github.com)

50 points by therepanic 2 months ago | 14 comments

Screenshot of github.com: Show HN: Talos – Open-source WASM interpreter for Lean

Show HN: Talos – Open-source WASM interpreter for Lean (github.com)

78 points by mfornet 4 months ago | 20 comments

Screenshot of github.com: Codes – typed application outcomes for Kotlin and Java

Codes – typed application outcomes for Kotlin and Java (github.com)

10 points by aalsanie 2 months ago | 3 comments

Screenshot of github.com: Show HN: Is It Greg?

Show HN: Is It Greg?(github.com)

53 points by antoineleclair 1 month ago | 19 comments

Screenshot of github.com: ExactTex. A gradually-typed superset of LaTeX

ExactTex. A gradually-typed superset of LaTeX (github.com)

25 points by camilochs 1 month ago | 9 comments

Screenshot of github.com: Jaithon 3, a fast programming language with the perfect syntax

Jaithon 3, a fast programming language with the perfect syntax (github.com)

25 points by AbhiramaVS 2 months ago | 15 comments