Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/charlesaverill/hclt
A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell Curry
https://github.com/charlesaverill/hclt
Last synced: about 6 hours ago
JSON representation
A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell Curry
- Host: GitHub
- URL: https://github.com/charlesaverill/hclt
- Owner: CharlesAverill
- Created: 2023-04-20T01:23:26.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-10-23T14:05:19.000Z (about 1 year ago)
- Last Synced: 2024-04-20T00:54:40.463Z (7 months ago)
- Language: Coq
- Homepage: https://www.overleaf.com/read/rzhdyjvrzbgy
- Size: 30.3 KB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files: