@caladri I used a system called Magma in my dissertation, but it was for computational algebra, not logic.
I meant Coq the proof assistant--my apologies for the... — I never heard of it before! It's been used to prove F... http://ask.fm/a/ag7oo6ej
-
-
This Tweet is unavailable
-
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.