https://github.com/sr-lab/skeptic-authority-template

A basic template for a Skeptic authority.
https://github.com/sr-lab/skeptic-authority-template

code-generation coq formal-methods password-policy verification

Last synced: 22 days ago
JSON representation

A basic template for a Skeptic authority.

• Host: GitHub
• URL: https://github.com/sr-lab/skeptic-authority-template
• Owner: sr-lab
• License: mit
• Created: 2019-07-19T17:57:51.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-12-08T11:54:48.000Z (about 5 years ago)
• Last Synced: 2024-11-12T15:17:35.838Z (3 months ago)
• Topics: code-generation, coq, formal-methods, password-policy, verification
• Language: Coq
• Homepage: https://sr-lab.github.io/skeptic-authority-template/
• Size: 78.1 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project