huitseeker

81
Reputation
59 views
Is this your account?

Registered User 

Name huitseeker
Member for 3 years
Seen Nov 6 at 19:06
Website
Location Paris/Orsay, France
Age 30
Graduate student teaching Coq how to do some group theory in the lab with the best coffee around.

votes newest views recent
279

93

121

122
58
votes
54
answers
12k
views

Free, high quality mathematical writing online? [closed]

jan 24 12 at 21:25 Leandro Vendramin 891●1●4●12

35
41
votes
36
answers
16k
views

Most interesting mathematics mistake? [closed]

aug 10 at 3:52 J. H. S. 2,425●12●31

34

21

52

20

37

12
22
votes
5
answers
2k
views

Proof assistants for mathematics

feb 18 10 at 13:53 Charles Stewart 1,669●8●15

11
11
votes
7
answers
1k
views

Intro to automatic theorem proving / logical foundations?

feb 18 10 at 13:54 Charles Stewart 1,669●8●15

5
10
votes
2
answers
1k
views

Co-induction understanding

oct 18 09 at 22:37 Reid Barton 14.4k●1●28●85

5
9
votes
3
answers
418
views

What are the auto-equivalences of the category of groups?

jan 6 10 at 23:00 Reid Barton 14.4k●1●28●85

5
8
votes
4
answers
900
views

cut elimination

may 12 11 at 11:54 Emil Jeřábek 10.7k●1●24●41

1 2 next