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
Meta User
Network Profile
467
reputation
4
13

James Smith

I am working on a proof assistant called Occam:

http://djalbat.com/occam

16
answers
2
questions
~11k
people reached

Communities (11)

Top Meta Posts
2
2

Top Network Posts

Top Tags (31)

Score 11
Posts 2
Posts % 11
Score 9
Posts 2
Score 8
Posts 2
Score 7
Posts 1
Score 7
Posts 1
Score 6
Posts 6
View all tags →

Top Posts (18) All Questions Answers | Votes Newest

8 Illustrating mathematics with wysiwyg tools Feb 28 '18
7 Wanted: a “Coq for the working mathematician” Jul 2 '16
5 Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied? Jun 25 '16
5 Important open exposition problems? Sep 24 '17
4 Is there research on human-oriented theorem proving? Nov 4 '17
4 Applications of semigroups Sep 17 '17
2 An example of a beautiful proof that would be accessible at the high school level? Jun 10 '16
2 In what respect are univalent foundations “better” than set theory? Nov 24 '17
2 Term for the maximum number of vertices per depth of a rooted tree Dec 1 '17
2 What is Realistic Mathematics? Dec 1 '17
View all questions and answers →

Badges (17)

Gold

—

Silver

4

Rarest

Bronze

13

Rarest

View all badges →