Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 12 days 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 (4 months ago)
- Default Branch: master
- Last Pushed: 2025-01-15T15:25:30.000Z (18 days ago)
- Last Synced: 2025-01-15T16:36:09.209Z (18 days 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)