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

A formal verification tool for Noir programs
https://github.com/formal-land/coq-of-noir

Last synced: about 1 month ago
JSON representation

A formal verification tool for Noir programs

• Host: GitHub
• URL: https://github.com/formal-land/coq-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: 2024-12-10T09:54:15.000Z (about 2 months ago)
• Last Synced: 2024-12-10T10:35:36.752Z (about 2 months ago)
• Language: Rust
• Homepage: https://formal.land
• Size: 145 MB
• Stars: 3
• Watchers: 0
• Forks: 0
• Open Issues: 3

Awesome Lists containing this project

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