Dr. Chad E. Brown

Contact Info
CV (Resume)
I am responsible for the higher-order theorem prover Satallax. To join the discussion about Satallax, go to the Satallax Subreddit.


Without hope. Without witness. Without reward.