Language Truth and Logic - rbjones/HoLoTruth GitHub Wiki

The aim of this project is to build software to support an Intelligent Deductive Cloud in which Higher Order Logic (HOL) is a universal semantic and deductive foundation.

• [The Ambition]
• The Philosophy
• The Architecture
• Strategy and Plan

a note on [hype cycles](hype cycles)