Area 51 » The Amplitwist

151
reputation
2 views
discussion user
network profile

Registered User

name The Amplitwist
member for 6 months
seen Mar 10 at 21:46
website
location

I have a chatroom where I advertise interesting posts that I come across on Mathematics SE:

Feel free to drop by! :) Anyone is welcome to share in my room interesting posts on this site that they come across, too. A short blurb to accompany a link is recommended, but not mandatory.


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. :)

0

Proposals


1

Current Commitment

108
days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
public beta

0

Fulfilled Commitments


0

Followed


0

Example Questions


0

Votes Cast

1

Badges

‚óŹ Pioneer