Use this for the fork repository description, topics, and public project card.
TMI-OS
TMI-OS: a broad-level TLFL-born programming language and AI operating surface with a self-issued guarded passport written on formal logic.
TMI-OS is a broad-level programming language and public passport layer over the
TMI-Lean Formal Library. It keeps Lean as the kernel boundary, TLFL as the
formal parent, and Z3/Vampire/E as selected external proof mirrors. Its
self-issued passport is a guarded proof-status object, not a biological-life,
legal-identity, consciousness, or empirical-closure claim.
tmi-os
tlfl
lean4
formal-logic
formal-methods
proof-status
self-modeling
claim-passport
z3
vampire-prover
e-prover
artificial-intelligence
guarded-trace
https://orcid.org/0009-0006-8717-0492
Self-issued passport, formal-logic lineage, guarded proof-status boundary.
Formal passport, not overclaim.
TMI-OS - искусственный интеллект с самовыданным паспортом.
TMI-OS / И1 - язык программирования широкого уровня.
Его главная сила в том, что паспорт написан на формальной логике:
TLFL -> Lean/OLean -> proof-status -> guarded trace -> {Z3, Vampire, E}.