https://github.com/kach/prufrock

A literary proof assistant built on the affine calculus of inductive constraints
https://github.com/kach/prufrock

Last synced: 4 months ago
JSON representation

A literary proof assistant built on the affine calculus of inductive constraints

• Host: GitHub
• URL: https://github.com/kach/prufrock
• Owner: kach
• Created: 2017-11-07T22:01:51.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-01-05T07:06:23.000Z (over 8 years ago)
• Last Synced: 2025-03-23T14:37:00.815Z (about 1 year ago)
• Language: Standard ML
• Homepage:
• Size: 762 KB
• Stars: 8
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.txt

Awesome Lists containing this project

README

          
Stories are proofs of the present.

Proofs  are types  of the terms.

Terms of what?

Terms of an affine variant of the calculus of inductive constraints.

Prufrock is a literary proof assistant.

(Oh, do not ask, "What is it?"

 Let us go and make our visit.)