https://github.com/lukaszcz/hcpl

A prototypical proof checker and programming language based on illative combinatory logic
https://github.com/lukaszcz/hcpl

combinatory-logic functional-programming proof-checking theorem-proving

Last synced: 8 days ago
JSON representation

A prototypical proof checker and programming language based on illative combinatory logic

• Host: GitHub
• URL: https://github.com/lukaszcz/hcpl
• Owner: lukaszcz
• License: mit
• Created: 2021-09-25T17:07:33.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2021-10-03T13:49:51.000Z (about 3 years ago)
• Last Synced: 2023-02-28T20:16:30.998Z (over 1 year ago)
• Topics: combinatory-logic, functional-programming, proof-checking, theorem-proving
• Language: OCaml
• Homepage:
• Size: 347 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project