The Amplitwist
  • Member for 9 months
  • Last seen this week
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.
1
silver badge
10
bronze badges
Top tags
4
Score
1
Posts
100
Posts %