https://github.com/formal-land/rocq-of-noir

Formal verification tool for Noir programs using the Rocq system
https://github.com/formal-land/rocq-of-noir

Last synced: 3 months ago
JSON representation

Formal verification tool for Noir programs using the Rocq system

• Host: GitHub
• URL: https://github.com/formal-land/rocq-of-noir
• Owner: formal-land
• License: apache-2.0
• Fork: true (noir-lang/noir)
• Created: 2024-10-18T17:42:43.000Z (6 months ago)
• Default Branch: master
• Last Pushed: 2025-01-15T15:25:30.000Z (3 months ago)
• Last Synced: 2025-01-15T16:36:09.209Z (3 months ago)
• Language: Rust
• Homepage: https://formal.land
• Size: 150 MB
• Stars: 4
• Watchers: 0
• Forks: 0
• Open Issues: 3

Awesome Lists containing this project

• awesome-noir - rocq-of-noir - formal verification of Noir programs with Rocq (Dev Tools / Security)