Lean verification registry · Authored proofs · The Logos Architecture
Maclain Hunter's first-party source, independently checked by the Lean kernel, under Logic / Logos / God. Authored text remains unchanged; each machine formalization is separately attributed.
438 source records · 505 verified theorem witnesses · 344 records with axiom-free witnesses.
A successful witness certifies its displayed formal statement. The registry explicitly exposes unencoded parts, unsupported syntax and countermodels rather than assigning a false success label.
Inspect the complete zero-axiom proof network and its combined Lean certificate · Network Q-record
2026-10-03T10:42:55.000Z · RFC 3161 · FreeTSA · signature verified with OpenSSL.
This timestamps this formalization release, not the original handwritten work. Database registration dates and unknown original dates are recorded separately. It is a cryptographic timestamp, not legal notarization or an authorship adjudication.
Manifest SHA-256: 6e4e8d5c750a86f20e8f987a742b4eb2f588563a5f23a438ab84950f16eec8c4
Download every Lean module, exact source and signed timestamp
Machine-readable registry · Exact timestamped manifest · Timestamp receipt
Signed timestamp response · Timestamp request · Authority certificate · Signing certificate
openssl ts -verify -data manifest.json -in manifest.tsr -CAfile cacert.pem -untrusted tsa.crt
| Authored source | Verification | Theorems |
|---|---|---|
| ‘Reason as the Cause of the Universe (God) is Rationally Consistent’ by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| # Philosophical Algebra: Expanded Proof | Source recorded — formalization still required | 0 |
| A Deeper Dive into the Logos as the Core of Reality | Source recorded — formalization still required | 0 |
| A Demand of Proof for God by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| A Logical Proof against Heat Death | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| A Newly Proposed Formula for Unification of Quantum and Classical Mechanics by Maclain Hunter | Source recorded — formalization still required | 0 |
| A Proof of God and True Brilliance through Logic | Written formal sequents verified Axiom-free checked witnesses | 4 |
| A Rational Definition of Logic | Source recorded — formalization still required | 0 |
| A Response to Opposition by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| A Set of Rational Definitions of God by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 2 |
| Absolute Logic in Universal Contingency by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Ad Hominem and the Law of Reason | Written formal sequents verified Axiom-free checked witnesses | 1 |
| AEP and Optimized Coherence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| AEP Bootstrap and Power Feedback | Source recorded — formalization still required | 0 |
| AEP Logical Reality | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| AEP Logical Simulation | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| AEP Safety Systems and Controls | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Agnosticism and Knowability | Written formal sequents verified Axiom-free checked witnesses | 1 |
| AI and Intellect by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| All Equals All by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| All Schools Under Logic | Source recorded — formalization still required | 0 |
| All, Contextual Identity, and Cooperative Coherence | Written formal sequents verified Axiom-free checked witnesses | 4 |
| Allah as the Real Origin by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Ancient Myths and Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| AND Commutativity | Verified sequents with unresolved formal parts | 1 |
| AND Commutativity | Verified sequents with unresolved formal parts | 1 |
| Applying and Understanding a Logical Answer | Source recorded — formalization still required | 0 |
| Aquinas’s Five Ways and Logos | Source recorded — formalization still required | 0 |
| ASR Energy — Compiled Authored Archive | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 12 |
| Atheism and the Axiom of Theology | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Atheism and the Defined Logical Source | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Atheism and Theos — Post-Hoc Version | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Atheism, Theism, and the Axiomatic Theos | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Atheism’s Illogic and the Origin’s Divinity by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Atheism’s Self-Refuting Reality by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Atheist’s Conscience by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Authored Coherence — Scientific-Test Passage | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Authored Identity and Proof of God | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Authored Identity Form — Supplied Version | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Authored Identity Form and Necessary Reason | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Authored Logos and Christian Standing | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Belief in God (Logos) is Knowledge by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Bell's Theorem and Global Coherence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Biblical Logos and Absolute Truth | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Bivalence, Energy, and Computation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Burden and Presupposition by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Certainty From Paradoxical Dichotomy by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Certainty From Paradoxical Dichotomy by Maclain Hunter — directly pasted concise copy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Certainty, Ordered Change, and the Logos Inequality | Source recorded — formalization still required | 0 |
| CH, Set Identity, and Axiomatic Logic | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Chat Log: Revisiting Heisenberg’s Uncertainty Principle | Source recorded — formalization still required | 0 |
| Christian Logos and Modal Coherence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Coherence and Debate Victory | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Coherence as Ultimate Wealth | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Coherence Score Bounds | Verified sequents with unresolved formal parts | 1 |
| Coherence Score Bounds | Verified sequents with unresolved formal parts | 1 |
| Coherent Formal Systems of Logic | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Coherent Personal Agency and Logic | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Coherent Reality, Reason, Rationality, and Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Coherent Religion and the Superhuman Origin | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Coherent Theism and Exclusions | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Computing and ASR Energy Inversion | Source recorded — formalization still required | 0 |
| Conceptualization of Logic by Maclain Hunter | Source recorded — formalization still required | 0 |
| Concise Proof and Process | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Conditional Determinism | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Conditional Determinism | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Consistency and Completeness by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Continuous Energy and Logical Translation | Source recorded — formalization still required | 0 |
| Correcting Gödel | Source recorded — formalization still required | 0 |
| Correcting Kant | Source recorded — formalization still required | 0 |
| DAMP — Numbered Algorithm and Method | Source recorded — formalization still required | 0 |
| Debunking Maxwell’s Demon | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Defined God and Logical Existence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Definitions, Etymology, and Elaborations by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Degree from the University of Universal Logic — Educational Attainment Proposal | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Deism and Monism | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Demonstrated Logical Knowledge and Standing | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Denial of Logos and the Demand for Proof | Source recorded — formalization still required | 0 |
| Dialogic Genesis | Source recorded — formalization still required | 0 |
| Disproving Universal and Physical Uncertainty | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Dynamic Algebra | Source recorded — formalization still required | 0 |
| Dynamic Universal Proof (Theorem of Logos) | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Dynamic Universal Proof (Theorem of Logos) | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 2 |
| Empirical Coherence and Physical Fields | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Empirically Observable Formal Proof | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Empiricism and Existentialism | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Ergot, Ergotamine, LSD, and God by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 2 |
| Essential Logic and Extraterrestrial Life by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Everything is Proof by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Evidence Requires Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Evidence, Proof, and the First Cause by Maclain Hunter | Source recorded — formalization still required | 0 |
| Existence and Demonstrated Logical Reasoning | Source recorded — formalization still required | 0 |
| Explicit Proof of Logic Knowledge — Research and Challenge | Source recorded — formalization still required | 0 |
| Exploring Concepts of Nothing and Nowhere by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Exploring Meaning’s Necessary Logical Roots | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Exponent Multiplication Parity | Verified sequents with unresolved formal parts | 1 |
| Exponent Multiplication Parity | Verified sequents with unresolved formal parts | 1 |
| Exposing Euthyphro’s False Dilemma by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Fallacy and Loyalty to Reason | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Finite and Infinite Logos | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Finite Selves and True Logical Essence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Finitude is within Eternity | Source recorded — formalization still required | 0 |
| Fixing Atheist Illogic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Formal Proofs of Logos Existence — Compilation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Formal-System Necessity by Reductio | Source recorded — formalization still required | 0 |
| Foundation, Universal Law, and Interpretation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Four Proofs (4P) | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 4 |
| Fourth Sieve | Written formal sequents verified Axiom-free checked witnesses | 1 |
| G6 Doctrine Enforcement | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| G6 Doctrine Enforcement | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Geometric Representation of the Logical Argument by Maclain Hunter | Source recorded — formalization still required | 0 |
| Get A Real Job by Maclain Hunter | Source recorded — formalization still required | 0 |
| Get That Gish Out of Here by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| God as the Origin of Logic and Reality by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| God as Ultimate Reality | Written formal sequents verified Axiom-free checked witnesses | 1 |
| God Defines Judaism by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| God, Attributes, and the Standard of Reality | Written formal sequents verified Axiom-free checked witnesses | 1 |
| God, Coherence, and Chaos | Written formal sequents verified Axiom-free checked witnesses | 1 |
| God, Logical Necessity, and Validity | Source recorded — formalization still required | 0 |
| God, Non-Dual Reality, and Personhood | Written formal sequents verified Axiom-free checked witnesses | 1 |
| God, Self-Identity, and Coherent Conceptions | Source recorded — formalization still required | 0 |
| God's Identity and Nothing's Identity | Written formal sequents verified Axiom-free checked witnesses | 2 |
| God’s Rational Existence and Definition by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Gödelian Incompleteness and Logical Limits | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Good Faith and Logical Argumentation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Grand Loop — Further Supplied Version | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Grounded FOL and FCL | Written formal sequents verified Axiom-free checked witnesses | 1 |
| How I Know God by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| How Motion Works by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Human Reason and Reason in General by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Humanity vs Reason by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Hunter vs Musk and the Traditional Economy by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| I Am and the Coherent Mind | Written formal sequents verified Axiom-free checked witnesses | 1 |
| I Know That I Know by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| I Know What I Know | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| I’m Right Either Way by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Idealism and Grounded Duality | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Identity, Nothing, and Zero | Source recorded — formalization still required | 0 |
| If, Then, But, Since | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Incoherent God <-> Incoherent Thought by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Infinite Cause, Dynamic Reality, and the Axiom of Logic | Written formal sequents verified Axiom-free checked witnesses | 3 |
| Information Based Proof of Origin by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Intentionally Invalid Potato-Salad “Proof” — Evaluator Negative Control | Source recorded — formalization still required | 0 |
| Interpretation is Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Invariant Tautological Fragment by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 8 |
| Irrelevant Acceptance | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Jesus and I by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Jesus and the Shared Logos Essence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Knowing Logic and Proof — Full Supplied Copy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Knowing Proof and Its Logos Source | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Knowing Proof and Logic | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Knowledge and Application of Logic — Supplied Concise Copy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Knowledge and Application of Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Knowledge of God, Logic, and Coherence | Source recorded — formalization still required | 0 |
| Leibniz's Monads and Universal Logos | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Leveraging Lars’ Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Life and Death by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Limited Formal Logic and Reality | Source recorded — formalization still required | 0 |
| Logic and God as Ontological Ground | Source recorded — formalization still required | 0 |
| Logic and Incoherent Physical Models | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logic and Its Self-Meeting Standard | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic and Logical Structure as the Source and Standard of Evidence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic and the Battle of the Sexes | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logic and the Resolution of Problems | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic Applied to Needs by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic as a Unified Tautological Rule | Source recorded — formalization still required | 0 |
| Logic as Foundation, not Presupposition | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logic as Reality and More Than a Tool | Source recorded — formalization still required | 0 |
| Logic as Reality’s Origin by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic as the Basis of Science, Education, and Qualified Teaching | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic as the Ground of Philosophy and Religion | Source recorded — formalization still required | 0 |
| Logic Beyond Infinity and Duality | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic Climbs Ladders by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic Contains Energy by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic in Physics by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Logic is God in Reality by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic is Most Logical by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic is Reason, Logos, and the Logical Foundation of Existence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic Mandates MCB by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic Preserved through Coherent Transformations | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logic Says Ergo I Say by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 4 |
| Logic with YHVH by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic, Coherence, and Reality | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logic, Energy, and Electrical Identity | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logic, Ethics, and Epistemology by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logic, Identity, and Prophetic Insight | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Logic, Logical Reasoning, Forms, and Applications | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 2 |
| Logic, Nature, and Logical Supernature | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Logic, Origin, God, and Contradiction | Source recorded — formalization still required | 0 |
| Logic, Proof, and Coherence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic, Reality, and Fact | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic, Reality, and Reflexive Coherence | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Logic, Skepticism, and Pragmatism | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logic's Coherent Ground — Logos as Theos | Source recorded — formalization still required | 0 |
| Logic’s Grounding in Reality | Source recorded — formalization still required | 0 |
| Logic's Independent Necessary Coherence | Source recorded — formalization still required | 0 |
| Logic’s Rightful Claim by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Bootstrapping by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Connections, Proof, and Evidence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Creation and Energy Conservation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Glue by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logical Ground Before Sensing | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Humility and Coherence | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Knowledge and Grasp | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logical Model for Solving the Halting Problem | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Necessity and Reflexive Truth | Source recorded — formalization still required | 0 |
| Logical Ontology by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logical Proof is Empirical Data by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Rules and God by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 3 |
| Logical Self-Consistency and Arbitrariness | Source recorded — formalization still required | 0 |
| Logical Strategy by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logical Strategy by Maclain Hunter — supplied copy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos and Debate | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos and Personally Usable Reason | Source recorded — formalization still required | 0 |
| Logos and Rational Political Authority | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos and Reflective Consciousness | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos as Living Reason | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos as Non-Local Life and Intellect | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos Entails Coherent Morality by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Logos, Comprehension, Morality, and Forgiveness of Evil by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos, Dust, and Biological Life | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos, Identity, and Conservation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos, Position, Contingency, and Entanglement | Source recorded — formalization still required | 0 |
| Logos, Theological Interpretation, and Coherent Denial | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos, Theos, and Arche | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Logos, Theos, and Arche — Arabic-Term Version | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Loop Halting Guarantee | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Loop Halting Guarantee | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Machine Semantics Programming Platform Designed by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Maclain Hunter on Monads | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Maclain Hunter on the Rule(s) of Logic — Full Supplied Copy | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 2 |
| Mastery of Self-Reference by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Materialism and Nihilism | Written formal sequents verified Axiom-free checked witnesses | 1 |
| MCB Decidability | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| MCB Decidability | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| MCB Logic Router API Design — Exact Supplied Copy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| MCB Server, Processor, AI, NN, Infinite Range Code | Source recorded — formalization still required | 0 |
| MCB State Exclusivity | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| MCB State Exclusivity | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Metaphysical Ground and Questioning | Source recorded — formalization still required | 0 |
| Metaphysics and Ontological Ground | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Modal Proof of Logos and the Tautological Argument | Source recorded — formalization still required | 0 |
| Modal Space and Reality | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Modus Ponens, Modus Tollens, and Logos by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Morality and Its Denial | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Morality is Divine by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| My Credo by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Myth, Truth, and the Coherent Foundation of Reality | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Natural Creation, Law, and Cause — Logical Order | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Necessary Correctness and Logical Proof | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Necessary Entailment by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 3 |
| Necessary Logic and Logical Existence | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Negation of Prior Order by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Negation, Identity, and Logos by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 7 |
| Nested Structure by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| No Logical Alternative to Logos | Written formal sequents verified Axiom-free checked witnesses | 1 |
| No One Is Truly Gone by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| No True Scotsman and Axiomatic Ground | Written formal sequents verified Axiom-free checked witnesses | 1 |
| NOT Involution | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| NOT Involution | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Objective Perspective by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Objective Truth and God — Question and Answer | Source recorded — formalization still required | 0 |
| Observable Formal Proof — Scientific-Test Version | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Observable Logic and Its Source | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Observable Logos and the Defined ET | Written formal sequents verified Axiom-free checked witnesses | 1 |
| On Spinoza’s Axioms by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| On the Logic of the Universe | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Oneness and the Proof of Non-Contradiction | Source recorded — formalization still required | 0 |
| Oneness, Solipsism, and Shared Reality | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Ontology and Coherent Theology | Written formal sequents verified Axiom-free checked witnesses | 1 |
| OR Commutativity (magnitude distinct) | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| OR Commutativity (magnitude distinct) | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Orders Prove Order by Maclain Hunter | Source recorded — formalization still required | 0 |
| Original Proofs by Maclain Hunter | Source recorded — formalization still required | 0 |
| Our Proofs Stand by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Pantheism, Interconnection, and Hierarchy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Performed Reflexive Proof and Logical Expertise | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Philosophical Algebra by Maclain Hunter | Source recorded — formalization still required | 0 |
| Predicated Propositions by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 5 |
| Predicated Propositions by Maclain Hunter — Logician-only supplied copy | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 5 |
| Predictions and Proof by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Primordial Reason — Scientific-Test Passage | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Proof Acknowledges First Cause by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof Aligned with Objective Coherence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof and Its Necessary Coherent Source | Source recorded — formalization still required | 0 |
| Proof Demonstrating Tautological Logic — Supplied Archive | Source recorded — formalization still required | 0 |
| Proof I Know Proof by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof Logic is Conscious by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof Logic is Conscious by Maclain Hunter — Further Supplied Source | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof of (((P & Q) & R) & S) & T by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof of Established Certainty by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof of Foundational Coherence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof of God as Universal Logic and Ontology | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Proof of God's Self-Control and Wisdom by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof of Logical Coherence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof of Proof’s Source in Logic | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof of Reality’s Narrative | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof of Reason Demanding Reasoning and the Realization of Emergent Properties and Reality by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proof of the Axiom of Universal Logic | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof of the Necessity of a Unified Source for Diversity: A Variation of Al-Farabi's Argument | Source recorded — formalization still required | 0 |
| Proof of the Principle of Sufficient Reason (PSR) by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Proof of the PSR — Full Supplied Copy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof Terms and Valid Refutation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proof, Evidence, Logic, and God by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Proof, God, and Consistency by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Proper Competition by Maclain Hunter | Source recorded — formalization still required | 0 |
| Proto-Logic (Logos in First Form) <-> Meta-Logic (Logos in self-referential form) | Source recorded — formalization still required | 0 |
| Proven Facts by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Proving the Coherence and Equivalence of Turing Machines and Lambda Calculus by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Pythagorean Proofs by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 5 |
| Rationalism and Phenomenology | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Reality’s Logical Coherence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 4 |
| Reason — Universal and Particular Order | Source recorded — formalization still required | 0 |
| Reason as God and the Coherence of Love | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Reason as the Ship of Theseus by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Reason, Belief, and the PSR | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Reason’s Reasoning | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Reasoned Love and God | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Redundancy in Proof for Logic, God, and Objective Principles by Maclain Hunter | Source recorded — formalization still required | 0 |
| Russell’s Folly | Source recorded — formalization still required | 0 |
| Sages and Observable God as Logic | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Satisfying Reason Rather Than Incredulity | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Science, Logic, and Contingencies | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Scientific Coherence Proves the Logos — Proof by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Scientific Testing w/ Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 3 |
| Scripture and the Logical Standard | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Search Logically and Find Logic | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Second Sieve | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Second Timeless-Superspace Theorem | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Seeing Logos Through Identity | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Self-Entailing Rationality | Source recorded — formalization still required | 0 |
| Self-Evident Credibility by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Self-Evident Grasp of Logic by Maclain Hunter | Source recorded — formalization still required | 0 |
| Self-Evident Proof of Logical Foundations by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Self-Supporting Generation by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 3 |
| Seven Cycle Logic Completeness | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 2 |
| Seven Cycle Logic Completeness | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 2 |
| Signature Verification Soundness | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Signature Verification Soundness | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Since-So Reasoning by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Soundness and Logos | Source recorded — formalization still required | 0 |
| Stipulated God and Judgement — Swapped-Premise Version | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Stipulated God and the Ground of Judgement | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Stoicism and Grounded Epistemology | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Subsistence, Existence, and Actualization | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Substantive Energy, Energy in Form, and ASR | Source recorded — formalization still required | 0 |
| System H | Source recorded — formalization still required | 0 |
| Tautological Formal Systems of Logic | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Tautological Mastery by Maclain Hunter | Source recorded — formalization still required | 0 |
| Tautological Sieve | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Tautological Sieve | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Tautological True Statements & Convincing Deductive Reasoning by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| The Appearance of a Paradox by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Atheist’s Truth by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Axiom of Geometry — Full Supplied Copy | Written formal sequents verified Axiom-free checked witnesses | 4 |
| The Bible and Reality as a Mirror to the Finite Mind | Source recorded — formalization still required | 0 |
| The Bonded Energy System and Physical Output Path | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Dialogue of Cosmic Genesis | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Ego of Logic and Reflexive Identity | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Falseness of Falsifiability by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Famous Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Futility and Result of Conceiving Illogical Origins by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Genuine Musician — Additional Supplied Copy | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Genuine Musician by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The God of Reason and the Isomorphic Logical Origin | Source recorded — formalization still required | 0 |
| The Gold is Mine by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 3 |
| The Gold is Mine by Maclain Hunter — second supplied copy | Written formal sequents verified Axiom-free checked witnesses | 3 |
| The Good in People by Maclain Hunter | Source recorded — formalization still required | 0 |
| The Grand Loop | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Greatest Logician and the Coherence Standard | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Greatest Philosopher by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Grounding of Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 3 |
| The Holistic Integration Theorems | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Illogic of Atheism by Maclain Hunter | Source recorded — formalization still required | 0 |
| The Illogic of the Atheist Mindset by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Law of Grounded Identity (LGI) | Written formal sequents verified Axiom-free checked witnesses | 2 |
| The Logic Before Time by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Logic of Comedy by Maclain Hunter | Source recorded — formalization still required | 0 |
| The Logic of Discovery by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Logic of the Universe as the Logical Origin — Commentary Version | Source recorded — formalization still required | 0 |
| The Logic of the Universe as the Logical Origin — Proof Two | Source recorded — formalization still required | 0 |
| The Logic of the Universe as the Logical Origin — Uppercase Version | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Logical and Metaphysical Implications of Giving and Hearing Explanations by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Logical Derivation of Mathematics from Foundational Coherence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Logical Driveshaft of Memory and Processing by Maclain Hunter | Source recorded — formalization still required | 0 |
| The Logical Shaping of Logic by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Logically Coherent Cosmological Argument | Source recorded — formalization still required | 0 |
| The Maker of the Syllogism by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| The Moral Standard and Service to Nations | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Non-Dual Ground of Personal and Impersonal | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The One Law by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| The Personal Logical Chain of Proof | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Pythagorean Syllogism by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Rational Cause for Rational Causes by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Rational Death of Agnosticism by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Redundancy of Proof for the Pythagorean Theorem by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 3 |
| The Rule of Logic and Proof Knowledge | Written formal sequents verified Axiom-free checked witnesses | 2 |
| The Rule(s) of Logic and Logic Applied to Logic, Science, and Proof by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 6 |
| The Rules of Logic Applied to the Concept(s) of God, Logic, Logos, and Reason by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Rules of Logic, the Rule of Logic, and Logic Applied to Logic and Science by Maclain Hunter | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 4 |
| The Solely Coherent Perspective | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Source of Rationality by Maclain Hunter | Source recorded — formalization still required | 0 |
| The Standard of Reality and Self-Coherence | Source recorded — formalization still required | 0 |
| The Tale of Zaqar — Additional Supplied Copy | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Tale of Zaqar and the Patriarchs and Prophets of Memundi | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| The Trinity — Supplied Version | Written formal sequents verified Axiom-free checked witnesses | 1 |
| The Unified Rule of Logic — Authored Supplied Version | Source recorded — formalization still required | 0 |
| The Universal Code and Coherent Decoding | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Things Happen by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Third Sieve | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Three Theologically Relevant Questions | Source recorded — formalization still required | 0 |
| Timeless Logos and Contingent Spacetime | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Trinity of Godhead | Written formal sequents verified Axiom-free checked witnesses | 1 |
| True Love and Caprice | Source recorded — formalization still required | 0 |
| True Premises and Interconnected Principles | Source recorded — formalization still required | 0 |
| Truth, Reality, and the Law of Identity | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Truth’s Identity beyond Perception | Written formal sequents verified Axiom-free checked witnesses | 2 |
| Unified Formal Theory of Physics and Metaphysics | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| Unity, Reason, and Non-Contradiction | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Universal (Dynamic) Proof for Universal Tautological Logic (Logos) | Source recorded — formalization still required | 0 |
| Universal and Finite Mind | Source recorded — formalization still required | 0 |
| Universal and Local Logic — Two Proofs | Source recorded — formalization still required | 0 |
| Universal Application of Logic, Proof, and Coherence by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Universal Logic — Six-Stage Scientific-Test Submission | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Universal Logic and Local Framework Refutation | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Universal Logic and Origin — Necessary Identity | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Universal Logic Implication Cycle by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Universal Logos and Contingent Doubt | Source recorded — formalization still required | 0 |
| Universal Proof — Unfixed Tautological Logic | Source recorded — formalization still required | 0 |
| Universal Reason and the Universe’s Identity | Source recorded — formalization still required | 0 |
| Universal Vector, Universal Tensor, and Logical Translation Symmetry | Source recorded — formalization still required | 0 |
| Validating the Pythagorean Theorem by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |
| Validation Via Tautological Sieve | Written formal sequents verified Axiom-free checked witnesses | 3 |
| Version One — Self-Evident Truth and Logos | Written formal sequents verified Axiom-free checked witnesses | 2 |
| We Understand One God by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 2 |
| XOR Self-Inverse | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| XOR Self-Inverse | Verified sequents with unresolved formal parts Axiom-free checked witnesses | 1 |
| You’d Know If You Knew by Maclain Hunter | Written formal sequents verified Axiom-free checked witnesses | 1 |