https://github.com/azdavis/coc

The calculus of constructions
https://github.com/azdavis/coc

programming-language-theory rust

Last synced: 23 days ago
JSON representation

The calculus of constructions

• Host: GitHub
• URL: https://github.com/azdavis/coc
• Owner: azdavis
• License: mit
• Created: 2021-08-28T02:38:45.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2021-10-22T01:05:30.000Z (about 3 years ago)
• Last Synced: 2024-05-22T21:33:19.667Z (6 months ago)
• Topics: programming-language-theory, rust
• Language: Rust
• Homepage:
• Size: 12.7 KB
• Stars: 6
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md
  • License: license.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - coc - the calculus of constructions. (Projects / Libraries)

README

        
# coc

The calculus of constructions.

Mostly from figure 5 of [this][] MSR paper.

[this]:

  https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/henk.pdf