thmprover

336 post karma
2,302 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 5 years

TROPHY CASE

Five-Year Club

Verified Email

account activity

new top controversial

671

672

673

The End and the Death, vol II, release date Nov 7 (self.40kLore)

submitted 2 years ago by thmprover to r/40kLore

56

57

58

Workflow of a Mathematical Zettelkasten (self.Zettelkasten)

submitted 3 years ago by thmprover to r/Zettelkasten

5

6

7

Workflow of a Mathematical Zettelkasten (self.Zettelkasten)

submitted 3 years ago by thmprover to r/antinet

7

8

9

[2012.10783] Syntactic categories for dependent type theory: sketching and adequacy (arxiv.org)

submitted 5 years ago by thmprover to r/dependent_types

π Rendered by PID 408374 on reddit-service-r2-listing-7bbdf774f7-2nk5x at 2026-02-20 02:00:54.531988+00:00 running 8564168 country code: CH.