Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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)

Awesome Lists containing this project