Skip to main content

ScourDiscover Docs

Discover About Docs Changelog

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

lean-lang.org22w22 weeks ago

Theorem Proving in Lean 4 (opens in new tab)

Covered by lix.polytechnique.fr

|

|

Feeds

✨ Discovered from this domain

Blog — Lean web.archive.org

Pinboard (recent) feeds.pinboard.in

Consumption of 85% cocoa dark chocolate improves mood in association with gut microbial changes in healthy adults: a randomized controlled trial6m6 minutes ago

Community Discussion - Ship Builds :: Starminer General Discussions6m6 minutes ago

GitHub6m6 minutes ago

+56 more in the past day

ashbenen's Likes scour.ing

"The Mind as a City: A Systems View of Consciousness" by Ian Reppel January 8, 202622w22 weeks ago

Astronomers Find an Odd Space Cloud, Like a Galaxy Without Stars, That Could Shed Light on the Secrets of Dark Matter22w22 weeks ago

Is Consciousness Everywhere?22w22 weeks ago

matmat's Top Finds on Scour Today from all feeds scour.ing

FOSSY 20262h2 hours ago

How Long Can You Expect Your Old Game Cartridges To Last?3h3 hours ago

INTERNATIONAL EDITION3h3 hours ago

+14 more in the past day

matmat's Top Finds on Scour Today scour.ing

FOSSY 20262h2 hours ago

How Long Can You Expect Your Old Game Cartridges To Last?3h3 hours ago

INTERNATIONAL EDITION3h3 hours ago

+18 more in the past day

emschwartz's Top Finds on Scour scour.ing

ZSTD –auto it picks the optimal compression level for you3h3 hours ago

Flat per-call LLM API gateway (20x cheaper than Claude Max)4h4 hours ago

A Fast Attention Kernel for MI300X, Written in Hip, Not Assembly4h4 hours ago

+13 more in the past day

Keyboard Shortcuts

Navigation

Next / previous post: j/k
Open post: oorEnter
Preview post: v

Post Actions

Love post: a
Like post: l
Dislike post: d
Undo reaction: u
Save / unsave: s

Recommendations

Add interest / feed: Enter
Not interested: x

Go to

Home: gh
Interests: gi
Feeds: gf
Likes: gl
History: gy
Changelog: gc
Settings: gs
Discover: gb
Search: /

Pagination

Next page: n
Previous page: p

General

Show this help: ?
Submit feedback: !
Close modal / unfocus: Esc

Press ? anytime to show this help

Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)