https://github.com/azdavis/coc

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

programming-language-theory rust

Last synced: about 2 months 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 (almost 3 years ago)
• Last Synced: 2024-05-22T21:33:19.667Z (4 months ago)
• Topics: programming-language-theory, rust
• Language: Rust
• Homepage:
• Size: 12.7 KB
• Stars: 6
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

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