|
|
|
|
|
|
by bubblyworld
706 days 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. |
|
|