The Amplitwist
  • Member for 9 months
  • Last seen this week
Stats
763
reputation
914
reached
3
answers
4
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. :)

2
gold badges
4
silver badges
18
bronze badges
13
Score
3
Posts
43
Posts %
13
Score
1
Posts
14
Posts %
3
Score
2
Posts
29
Posts %
3
Score
2
Posts
29
Posts %
3
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %