3 ms·

What is your degree in?

• bubblyworld 2y ago
  Master's studying representation theorems in nonmonotonic logic, left academia for industry during my PhD. Fun spaced out maths problems. I tried to formalize my thesis in Lean but it is nowhere near as simple as you make it out to be.
  • soloist11 2y ago
    [flagged]