ProofForge — Portable programs · multi-target compiler
pf.grok.me · 5/10 Built
@gradience_
ProofForge: Lean 4 multi-target compiler. Developer docs, open target list, Aleo dossier, coverage matrix.
Grok Build
Radar
Updated never · scanning now
ProofForge — Portable programs · multi-target compiler
ProofForge: Lean 4 multi-target compiler. Developer docs, open target list, Aleo dossier, coverage matrix.