|
|
|
|
|
|
by hoosieree
1694 days ago
|
|
|
Non-executable, untyped, unverifiable notation is a feature, not a bug, because it makes it harder for a peer reviewer to reject your paper. Imagine if peer reviewer's pdf viewer put red squiggly lines under invalid formulas and equations... |
|
|