merchantmoh-debug - Overview
Navigation Menu
Pinned Loading
-
ArkLang - The Swiss Army Knife Of Programming Languages
Rust 13
-
Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.
Lean 4
-
Project Moonlight: The Neuro-Symbolic Polyglot Kernel
Python 5