Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  vibecoding  health  show  psychology  google  psypost.org  neuroscience  release  video  apple  discord  game  media  china  brain  theguardian.com  web 

From Zero to QED: An informal introduction to formality with Lean 4

2 months ago sdiehl.github.io compsci formalmethods

Typechecker Zoo

6 months ago sdiehl.github.io haskell ml plt rust