8,367
reputation
8
3

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

0
answers
1
question
~49
people reached

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1)

Badges (11)

Gold

Silver

8

Rarest

Bronze

3

Rarest