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: 9 days 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 (almost 2 years ago)
- Last Synced: 2025-04-02T14:21:42.156Z (29 days 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: 12
- Watchers: 2
- Forks: 2
- Open Issues: 1