François G. Dorais

Member for 13 years, 3 months
Last seen more than 7 years ago

GitHub
dorais.org
Burlington, VT, United States

Summary

Reputation

346

Next tag badge

16/100 score

2/20 answers

Badges

1

6

Newest

Yearling

Next badge

0/1

Critic

Answers

Score Activity Newest

13

On modifying our scope: A proposal

Aug 13, 2012

3

2014 Moderator Election Q&A - Question Collection

Jan 18, 2014

Questions

Score Activity Newest Views

5

How-To Use/Tips & Tricks

Aug 12, 2012

Badges

View all badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Apr 7, 2013

6

bronze badges

Editor

Aug 13, 2012
Nice Answer

Aug 20, 2012
Teacher

Aug 13, 2012

Tags

discussion

16

Score

3

posts

scope

13

Score

1

post

election

3

Score

1

post

status-completed

3

Score

1

post

feature-request

0

Score

1

post

Accounts

View all 32 accounts

43.5k
6
143
227

5,378
32
38

Proof Assistants

571
2
11

Theoretical Computer Science

346
2
10

Mathematics Educators

260
1
8

Votes cast

14

upvotes

4

question votes

10

answer votes