I am working on a system for formal reasoning called Occam:

https://occam.science
https://openmathematics.org

This is my magnum opus and i have been working on it now for the best part of the last ten years.

it was never my intention when I set out but it will enable the output of LLMs such as GPT to be verified. It is for this reason that I have started posting here.