RSS

toonalfrink

Karma: 692
AllPostsComments
NewTop
Page 1

The league of Rationalists

toonalfrink
23 May 2018 11:55 UTC
18 points
5 comments2 min readLW link

Fundamentals of Formalisation level 2: Basic Set Theory

toonalfrink
18 May 2018 17:21 UTC
24 points
1 comment1 min readLW link

The reverse job

toonalfrink
13 May 2018 13:55 UTC
48 points
9 comments2 min readLW link

Fundamentals of Formalisation level 1: Basic Logic

toonalfrink
4 May 2018 13:01 UTC
14 points
1 comment1 min readLW link