@Imperial College London
For what it's worth I am a supporter of the Cost of Knowledge effort.
Work on Occam continues apace. Integration of the parser to afford better syntax highlighting is underway and also for indexing files. This will make both labels and the file paths in include directives clickable, so you will be able to navigate around, so to speak. Verification at least at a meta level (by which I mean rules, not theorems) is some way off, but not that far off (weeks).
These are not fully peer-reviewed papers and should not be judged as such.
For Occam's resources, see Occam's home page.
Last updated 23rd February, 2017.