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)