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
4,573
reputation
23
53

Reb.Cabin

Been using Mathematica almost daily since Wolfram's Caltech days before it was a product. Current interests include writing a proof assistant and an automatic theorem prover in Mathematica, starting with Gries & Schneider's book "A Logical Approach to Discrete Mathematics."

16
answers
83
questions
~63k
people reached

Top tags (95)

Score 16
Posts 13
Posts % 13
Score 4
Posts 22
Score 4
Posts 6
Score 3
Posts 7
Score 2
Posts 10
Score 2
Posts 5

Top posts (99) All Questions Answers | Votes Newest

View all questions and answers

Badges (76)

Gold

Silver

23

Rarest

Bronze

53

Rarest