Final Presentation for Campus Asia Program by Jiwon Kim
Jiwon Kim, an exchange student from KAIST, gave the final presentation on his working during the Campus Asia Program. He worked on formalizing microtonal music theory for verifying musical properties through type theory.
