Lean 4.0 (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Lean 4.0

First screen, captured 3 years ago.

Looks similar

Screenshot of github.com: Show HN: Rqbit – bittorent CLI and desktop app written in Rust

Show HN: Rqbit – bittorent CLI and desktop app written in Rust (github.com)

56 points by ikatson 2 years ago | 9 comments

Screenshot of github.com: Show HN: Sourcebot – Self-hosted Perplexity for your codebase

Show HN: Sourcebot – Self-hosted Perplexity for your codebase (github.com)

82 points by bshzzle 1 year ago | 20 comments

Screenshot of github.com: Lean theorem prover mathlib

Lean theorem prover mathlib (github.com)

73 points by downboots 10 months ago | 3 comments

Screenshot of github.com: Helm 4.0

Helm 4.0 (github.com)

125 points by todsacerdoti 11 months ago | 129 comments

Screenshot of github.com: Hono v4.0

Hono v4.0 (github.com)

148 points by MrAlex94 2 years ago | 46 comments

Screenshot of github.com: Lapce Editor 0.3

Lapce Editor 0.3 (github.com)

191 points by philonoist 2 years ago | 80 comments