https://github.com/higherorderco/kind

A modern proof language
https://github.com/higherorderco/kind

dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory

Last synced: 3 days ago
JSON representation

A modern proof language

• Host: GitHub
• URL: https://github.com/higherorderco/kind
• Owner: HigherOrderCO
• License: mit
• Created: 2018-07-13T03:08:55.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-10-29T14:35:53.000Z (16 days ago)
• Last Synced: 2024-10-29T15:04:05.739Z (16 days ago)
• Topics: dependent-types, formality, functional-programming, lambda-calculus, moonad, proof-language, proof-languages, theorem-prover, type-theory
• Language: Haskell
• Homepage: https://higherorderco.com
• Size: 34.5 MB
• Stars: 3,563
• Watchers: 74
• Forks: 141
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Kind

Kind is a minimal Proof Checker.

This repository is a full rewrite of Kind from the old JS implementation to

Haskell. It is being actively developed. See examples on

[KindBook](https://github.com/HigherOrderCO/KindBook).

# Usage

1. Clone and install this project

2. Use the `kind` command to check/run terms

---

We will write a proper README later (: