uds-psl / CoqTM

Formalising Turing Machines In Coq (bachelor's thesis)

https://www.ps.uni-saarland.de/~wuttke/bachelor/

uds-psl/CoqTM Stargazers

Alireza
BelegCuthalion
Chris Pressey
cpressey
Lîm Tsú-thuàn
dannypsnl
ebigram
ebigram
Gabriel
glblapco
Adrián Lattes
haztecaso
Johannes Choo
jhanschoo
Raptazure
raptazure
aramya
thamugadi

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.