Skip to content
View al-alawi-deterministic-theorem's full-sized avatar

Block or report al-alawi-deterministic-theorem

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. Al-Alawi-Deterministic-Theorem Al-Alawi-Deterministic-Theorem Public

    Al-Alawi Deterministic Theorem

  2. The-Man-Who-Fulfilled-Einstein-s-Final-Dream The-Man-Who-Fulfilled-Einstein-s-Final-Dream Public

    The Man Who Fulfilled Einstein’s Final Dream: Killing Schrödinger’s Cat and Heisenberg’s Uncertainty

  3. Al-Alawi-Deterministic- Al-Alawi-Deterministic- Public

    Al-Alawi Deterministic Theorem' renders classical and quantum computing obsolete

  4. HCSP-Sovereign-Kernel-Formal-Verification HCSP-Sovereign-Kernel-Formal-Verification Public

    Official TLA+ specifications and Why3 formal verification artifacts for the HCSP Sovereign Deterministic Core, proving 100% complete logic correctness (19/19 goals) against zero-day exploits and cl…

    TLA

  5. hcsp-sovereign-semiconductor-formal-verification-matrix hcsp-sovereign-semiconductor-formal-verification-matrix Public

    The 10/10 formal verification matrix for the HCSP architecture using Frama-C, AstraVer, Coq, and TLA+ to mathematically eliminate memory corruption and zero-day exploits at Ring 0.

  6. HCSP-Sovereign-System-by-Al-Alawi-Detrministic-theorem.tla HCSP-Sovereign-System-by-Al-Alawi-Detrministic-theorem.tla Public

    Formal TLA+ specification linking the previously published mathematical equations of the Al-Alawi Theorem to the structural logic of the HCSP Deterministic Computing Architecture.

    TLA