@Imperial College London
email@example.com (related to academia)
firstname.lastname@example.org (all other)
For what it's worth I am a supporter of the Cost of Knowledge effort.
I've started work on Occam's verifier, with no idea as yet as to when a first implementation will be complete.
Update: I got stuck on Occam's incremental parser but I can now see daylight. Some of my thoughts around the eventual solution have gone into a stack exchange answer here.
Occam has its own dedicated page including a section on how you can get it running locally.
These are not fully peer-reviewed papers and should not be judged as such.
Last updated 16th August, 2016.