Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/uds-psl/coqtm
Formalising Turing Machines In Coq (bachelor's thesis)
https://github.com/uds-psl/coqtm
bachelor-thesis coq-formalization lambda-calculus simulator turing-machine
Last synced: 2 months ago
JSON representation
Formalising Turing Machines In Coq (bachelor's thesis)
- Host: GitHub
- URL: https://github.com/uds-psl/coqtm
- Owner: uds-psl
- License: mit
- Created: 2018-08-28T14:23:39.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2023-07-05T20:27:45.000Z (over 1 year ago)
- Last Synced: 2023-07-06T07:57:39.709Z (over 1 year ago)
- Topics: bachelor-thesis, coq-formalization, lambda-calculus, simulator, turing-machine
- Language: Coq
- Homepage: https://www.ps.uni-saarland.de/~wuttke/bachelor/
- Size: 1.32 MB
- Stars: 10
- Watchers: 2
- Forks: 3
- Open Issues: 1