Robert Rand
Results
2
issues of
Robert Rand
Get at?
1
When you say "how does one get at this information" do you mean "how does one measure it?" or "how does one operate on it / interact with it"? I...
#### Description of the problem Coq refuses to parse my `-1` as a complex number even though `-` and `1` are both valid notations for complex numbers. Here's a minimal...
part: notations
part: parser
kind: wish