The Amplitwist
  • Member for 9 months
  • Last seen this week
Stats
357
reputation
7k
reached
14
answers
2
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. :)

1
gold badge
6
silver badges
16
bronze badges
73
Score
10
Posts
62
Posts %
26
Score
2
Posts
12
Posts %
22
Score
2
Posts
12
Posts %
12
Score
3
Posts
19
Posts %
10
Score
2
Posts
12
Posts %
9
Score
3
Posts
19
Posts %
Top posts
View all questions and answers