_toc - rbjones/HoLoTruth GitHub Wiki The Manifesto The Ambition Formal Mathematics Deductive Cloud General Deductive Intelligence Deductive Smart Contracts The Philosophy Some Philosophical Background What Carnap's Philosophy was not The Problem and The Method The Architecture The Plan hype cycles