petrosyh's repositories
Language:CoqMIT000
dsss18
Lecture material for DeepSpec Summer School 2018
Language:HTMLNOASSERTION000
InteractionTrees
Formalization of the Interaction Tree Datatype in Coq
intptr_cast
2017 Internship: Implementing a C Memory Model Supporting Int-Ptr Casts in CompCert
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
PAhomeworks
Program Analysis class in 2017 Spring
Language:TeX000
sf201802
컴퓨터 신기술 특강
Language:HTML000
thesis-template-snu-cse
🎓 서울대 컴퓨터공학부 (컴공) 학위 논문 템플릿 | Thesis template for SNU CSE
MIT000
Language:JavaScript000
VST
Verified Software Toolchain
NOASSERTION000