Joohee Jeong
Professor Emeritus at Kyungpook National University

Please visit my projects: [Proofmood at GitHub] [Logic Lectures]

도비는 자유예요! Dobby is FREE!

포항 영일만 (2023년 7월) Pohang, S. Korea (July, 2023)