Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
MathOverflow
Main user
Network profile
467
reputation
2
4

James Smith

I am working on a proof assistant called Occam:

http://djalbat.com/occam

2
answers
2
questions
~891
people reached

Communities (11)

Top network posts

Top tags (5)

Score 6
Posts 3
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (4) All Questions Answers | Votes Newest

3 How can I tell if my question is appropriate to MathOverflow or if I should just put a bounty on it at Math.SE? Jun 28 '16
3 How can I tell if my question is appropriate to MathOverflow or if I should just put a bounty on it at Math.SE? Jun 27 '16
2 How about a way to flag a question for migration to another site without down voting it Mar 8 '18
1 Is it possible to keep deleted questions in my account? Sep 19 '17

Badges (6)

Gold

—

Silver

2

Rarest

Bronze

4

Rarest

View all badges →