8,501
reputation
1
26
57

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."

17
answers
88
questions
~76k
people reached

Top tags (101)

Score 18
Posts 13
Posts % 12
Score 18
Posts 6
Score 4
Posts 22
Score 4
Posts 6
Score 4
Posts 5
Score 3
Posts 7

Top posts (105)

View all questions and answers

Badges (84)

Gold

1

Rarest

Silver

26

Rarest

Bronze

57

Rarest