Extracting the semantics of Noir to Lean for E2E formal verification of circuits
-
Updated
Oct 5, 2026 - Lean
#
program-extraction
Here are 2 public repositories matching this topic...
Proof assistant for realizability logic TCF
proof-assistant formal-verification scheme-language constructive-mathematics realizability program-extraction
-
Updated
Feb 28, 2024 - Scheme
Add this topic to your repo
To associate your repository with the program-extraction topic, visit your repo's landing page and select "manage topics."