4,628
reputation
7
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
~48
people reached

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

7

Rarest

Bronze

3

Rarest