>_SYS.CORE
Pipeline Proofs (Lean)
Minimal Lean modules proving the CAB pipeline: Lean → Lambda IR → MiniC → C. Audited and published for public verification.
3D UMAP Proof Map
SubsetFull Graph
Discovery Marketplace Feed
Open MarketplaceNo synced listings yet. Publish from Heyting Dashboard Discovery tab first.
Curated Files
No files synced yet.