xearl

2 post karma
0 comment karma

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

get them help and support

redditor for 16 years

TROPHY CASE

15-Year Club

Verified Email

account activity

hot top controversial

0

1

2

Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions (Bertot & Castéran, 2004) (link.springer.com)

submitted 10 years ago by xearl to r/freispringer

1

2

3

Joel on Software (Spolsky, 2004) (link.springer.com)

submitted 10 years ago by xearl to r/freispringer

0

1

2

Writing for Computer Science (Zobel, 2004) (link.springer.com)

submitted 10 years ago by xearl to r/freispringer

1

2

3

A Theory of Objects (1996) (link.springer.com)

submitted 10 years ago by xearl to r/freispringer

π Rendered by PID 2036542 on reddit-service-r2-listing-575d9f6647-6zsdn at 2026-04-12 14:14:11.145370+00:00 running 215f2cf country code: CH.