redlib.
Feeds

MAIN FEEDS

Home Popular All
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/dependent_types/top

No, go back! Yes, take me to Reddit
settings settings
Hot New Top Rising Controversial

r/dependent_types • u/gallais • 19h ago

Fast thinnings via segment maps

Thumbnail hal.science
3 Upvotes
0 comments
Subreddit
Icon for r/dependent_types

Dependent Types

r/dependent_types

Agda, Idris, Coq, and Type Theory

3.9k
0
Sidebar

Dependent Types: Agda, Idris, Coq, and Type Theory

See also

  • The compscipapers reddit
  • The Coq reddit
  • The types reddit
  • The software bugs reddit - for everything about bugs - bugs in the news, reducing bugs, getting users to report bugs, etc.

Get notified of new posts via Twitter

v0.36.0 ⓘ View instance info <> Code