The Amplitwist
  • Member for 9 months
  • Last seen this week
Stats
1,274
reputation
29k
reached
7
answers
0
questions
Loading…
About

A new SE site for Proof Assistants has been recently proposed, do check it out! If you find it interesting, you can add your support to the proposal by committing to it. :)

This user doesn’t have any gold badges yet.
6
silver badges
23
bronze badges
63
Score
1
Posts
14
Posts %
63
Score
1
Posts
14
Posts %
63
Score
1
Posts
14
Posts %
63
Score
1
Posts
14
Posts %
63
Score
1
Posts
14
Posts %
36
Score
3
Posts
43
Posts %