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

arxiv.org7h7 hours ago

[2606.19936] Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 (opens in new tab)

|

|

Feeds

✨ Discovered from this domain

[2606.19936] Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 arxiv.org

Abstract page for arXiv paper 2606.19936: Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4

Pinboard (recent) feeds.pinboard.in

Moving house: How to Easily Regrout Tiles Yourself with Dremel | Dremel25m25 minutes ago

Step-by-Step Guide to Updating Kitchen Tiles | Dremel25m25 minutes ago

Private Boat Event Hire in London25m25 minutes ago

+497 more in the past day

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

Valuable News – 2026/06/2244m44 minutes ago

Web Archiving Community · ArchiveBox/ArchiveBox Wiki1h1 hour ago

tmux-cli — Terminal Automation2h2 hours ago

+16 more in the past day

matmat's Top Finds on Scour Today scour.ing

tmux-cli — Terminal Automation2h2 hours ago

AAC Vs. MP3: Which Is The Best Audio File Format?4h4 hours ago

Floating Leaves7h7 hours ago

+15 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)