|
|
|
|
|
|
by otoburb
195 days ago
|
|
|
>>[...] at least gave precise consistent definitions for basic terminology. Hopefully interactive proof assistants like Lean or Rocq will help to mitigate at least this issue for anybody trying to learn a new (sub)field of mathematics. |
|
|