Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pratapsingh1729/adapting-verified-compilation
Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.
https://github.com/pratapsingh1729/adapting-verified-compilation
Last synced: 4 days ago
JSON representation
Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.
- Host: GitHub
- URL: https://github.com/pratapsingh1729/adapting-verified-compilation
- Owner: pratapsingh1729
- Created: 2021-11-18T22:15:34.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2022-02-08T01:10:46.000Z (almost 3 years ago)
- Last Synced: 2024-11-17T21:43:26.452Z (2 months ago)
- Language: Coq
- Size: 563 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Repository for my senior thesis, Adapting Verified Compilation for Target-Language Errors.