https://github.com/hacker-code-j/software-verification

https://github.com/hacker-code-j/software-verification

first-order-logic ocaml propositional-logic software-verification

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/hacker-code-j/software-verification
• Owner: Hacker-Code-J
• License: mit
• Created: 2024-06-23T04:21:02.000Z (6 months ago)
• Default Branch: main
• Last Pushed: 2024-08-01T07:48:37.000Z (5 months ago)
• Last Synced: 2024-10-12T21:20:19.682Z (2 months ago)
• Topics: first-order-logic, ocaml, propositional-logic, software-verification
• Language: TeX
• Homepage:
• Size: 6.61 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Software Verification