https://github.com/newca12/scala-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
https://github.com/newca12/scala-atp

logic scala scala-port

Last synced: about 1 month ago
JSON representation

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala

• Host: GitHub
• URL: https://github.com/newca12/scala-atp
• Owner: newca12
• License: other
• Created: 2011-05-22T20:54:57.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2019-05-06T21:27:07.000Z (over 5 years ago)
• Last Synced: 2023-03-11T15:11:39.201Z (almost 2 years ago)
• Topics: logic, scala, scala-port
• Language: Scala
• Homepage:
• Size: 181 KB
• Stars: 12
• Watchers: 4
• Forks: 3
• Open Issues: 0

Awesome Lists containing this project