Home | Blog | About | Privacy policy |
My email address is my first name at this domain.
My articles from arXiv.
Verish, a language for reasoning that resembles a natural language.
Cadabra scripts, TeXmacs files, and C++ source code related to my article arXiv:1103.2732.
My talk at the CERN BSM Institute 28 August 2007.
Crawler in Superland blog
The software on this website is licensed for use under the Free Software Foundation General Public License.
Page last updated 26 November 2020. Copyright (c) Chris Austin 2012 - 2020. Privacy policy