James Smith

James Smith

james.smith@openmathematics.org (related to academia)
james.smith@djalbat.com (all other)


I decided last year that I should get anything related to Occam's verification into the public domain. With this in mind I've released some new packages concerned with Occam's grammars and its document object model. Specifically:

These have been added to an updated resources section.

Also, I'm afraid to say that Occam is currently unavailable for download. It has undergone a significant rewrite in the last few months, the aforementioned packages were part of this process, and it was just too much effort to keep it all together. It should emerge (phoenix like) from the ashes of the old Occam within the next month. I have at least updated the Occam site in a meantime and there is a link to it in the Occam section below.

Update: Things are going reasonably well with the rewrite and I'm still aiming for mid-to-end March.

Previous

Occam

Occam is currently unavailable, my apologies. There is a new site, however, which gives a taste of what is to come.

Papers

Preprints

Presentations

Resources

Miscellany

Last updated 17th March, 2019.