Similar repositories to gallais/thesis:

• gallais/thesis github similar
• jespercockx/ttac github similar
• jespercockx/tensors github similar
• L-TChen/MtacAR github similar
• danistefanovic/build-your-own-x github similar
• Lysxia/coq-recursion-schemes github similar
• jonsterling/lecture-notes github similar
• UlrikBuchholtz/nominal-hott github similar
• pigworker/Box github similar
• bobatkey/system-f-parametricity-model github similar
• thery/T2048 github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• bristolpl/intensional-datatys github similar
• nachivpn/nbe-stlc github similar
• hablapps/LensAlgebra github similar
• pigworker/EGTBS github similar
• umazalakain/fyp github similar
• ayberkt/simplc github similar
• FreeProving/language-coq github similar
• jirkamarsik/lambda-mu github similar
• philzook58/lens-algebra github similar
• pigworker/CS311-classwork-2018 github similar
• pedrotst/coquedille github similar
• uwplse/magic github similar
• ssomayyajula/elab github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• omega12345/RefactorAgda github similar
• sstucki/pts-agda github similar
• kcsmnt0/proof-trees github similar
• fsestini/nbe-weak-stlc github similar
• pigworker/InteriorDesign github similar
• mortberg/TypeTheory github similar
• nmvdw/HITs-Examples github similar
• lukaszcz/infinitary-confluence github similar
• jespercockx/reflection-tutorial github similar
• ayberkt/sequents github similar
• SimonBoulier/TypingFlags github similar
• proofengineering/proofengineering-bib github similar
• madgen/refinement-types-seminar github similar