The project is intended to develop open source software for deployment in delivering certain cognitive services. The services come in three layers corresponding to the three associated sub-projects which are:
HoLoTruth
concerned the establishment and management of Higher Order LOgical Truth, providing Proof As A Service.
HoLoMod
concerned with empirical and other models in HOL, with Smart Oracles.
HoLoVal
Value refinement and implementation.