4,628
reputation
1
23
54

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
~65k
people reached

Top tags (95)

Score 18
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 (78)

Gold

1

Rarest

Silver

23

Rarest

Bronze

54

Rarest