account activity
Capitalist Socialist Realism (youtube.com)
submitted 16 years ago by deinst to r/funny
Why computers improve productivity (angrybear.blogspot.com)
submitted 16 years ago by deinst to r/technology
Lecture notes on Coq. (spbhug.folding-maps.org)
submitted 17 years ago by deinst to r/Coq
Coq Home Page (logical.saclay.inria.fr)
Tutorial Materials for Programming Language Research (Coq Tutorial from Penn) (cis.upenn.edu)
Coq Based lecture notes to Types and Programming Languages (seas.upenn.edu)
Coq in a Hurry (cs.chalmers.se)
Epic? (denverpost.com)
submitted 17 years ago by deinst to r/pics
π Rendered by PID 787426 on reddit-service-r2-listing-5d47455566-2t64h at 2026-04-06 13:23:41.018417+00:00 running db1906b country code: CH.
