https://github.com/mark-koch/firstorder-proof-mode

A first-order logic proof mode in Coq
https://github.com/mark-koch/firstorder-proof-mode

coq first-order-logic

Last synced: 27 days ago
JSON representation

A first-order logic proof mode in Coq

• Host: GitHub
• URL: https://github.com/mark-koch/firstorder-proof-mode
• Owner: mark-koch
• Created: 2020-11-12T10:56:17.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2022-10-28T09:12:28.000Z (about 2 years ago)
• Last Synced: 2024-06-12T15:32:21.551Z (7 months ago)
• Topics: coq, first-order-logic
• Language: Coq
• Homepage:
• Size: 582 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project