https://github.com/calvin-l/snf

A Coq tactic to convert your goal to skolem normal form (SNF)
https://github.com/calvin-l/snf

Last synced: 23 days ago
JSON representation

A Coq tactic to convert your goal to skolem normal form (SNF)

• Host: GitHub
• URL: https://github.com/calvin-l/snf
• Owner: Calvin-L
• License: mit
• Created: 2021-11-11T04:16:40.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2021-11-16T07:46:45.000Z (about 3 years ago)
• Last Synced: 2024-10-16T08:10:43.182Z (2 months ago)
• Language: Coq
• Size: 37.1 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project