https://github.com/samvv/infera

Experiments with theorem proving
https://github.com/samvv/infera

Last synced: about 1 month ago
JSON representation

Experiments with theorem proving

• Host: GitHub
• URL: https://github.com/samvv/infera
• Owner: samvv
• Created: 2024-10-11T13:54:02.000Z (3 months ago)
• Default Branch: main
• Last Pushed: 2024-10-18T12:38:46.000Z (3 months ago)
• Last Synced: 2024-10-20T01:31:55.746Z (2 months ago)
• Language: Rust
• Size: 54.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:

Awesome Lists containing this project