https://github.com/michaelsproul/dblib-linear
Formalisation of the linear lambda calculus in Coq
https://github.com/michaelsproul/dblib-linear
coq honours-thesis lambda-calculus programming-language proof software-verification type-system
Last synced: 10 months ago
JSON representation
Formalisation of the linear lambda calculus in Coq
- Host: GitHub
- URL: https://github.com/michaelsproul/dblib-linear
- Owner: michaelsproul
- Created: 2015-10-17T08:13:27.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2018-12-02T22:56:56.000Z (over 7 years ago)
- Last Synced: 2025-05-07T13:07:16.060Z (10 months ago)
- Topics: coq, honours-thesis, lambda-calculus, programming-language, proof, software-verification, type-system
- Language: Coq
- Homepage:
- Size: 81.1 KB
- Stars: 10
- Watchers: 2
- Forks: 0
- Open Issues: 0