Mathematics Stack Exchange
Mathematics Stack Exchange

Kijeong Lim
83
reputation
  • Gwangju, 대한민국
  • Member since February 04 2020
  • 42 profile views
  • Last seen Apr 06 '24 at 23:13

I love the Haskell programming language, and construct my formal-proof pool in Coq.