MathOverflow
Main user
Network profile
482
reputation
2
4

James Smith

I am working on a proof assistant called Occam:

http://djalbat.com/occam

2
answers
2
questions
~895
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 →