GitHub repository: uds-psl/CoqTM
Primary language: Coq
Description: Formalising Turing Machines In Coq (bachelor's thesis)