Dr. Chad E. Brown

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