https://github.com/ziman/lamtc

Simple Prolog type checker
https://github.com/ziman/lamtc

Last synced: about 1 month ago
JSON representation

Simple Prolog type checker

• Host: GitHub
• URL: https://github.com/ziman/lamtc
• Owner: ziman
• Created: 2011-10-21T10:36:15.000Z (about 13 years ago)
• Default Branch: master
• Last Pushed: 2011-10-21T10:36:29.000Z (about 13 years ago)
• Last Synced: 2023-03-11T04:28:47.224Z (over 1 year ago)
• Language: Prolog
• Homepage: http://ziman.functor.sk/proof.txt
• Size: 85.9 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project