snyke7
Results
1
issues of
snyke7
#### Description of the problem I wanted to import just the `Tactic Notations` from some file, which indirectly exported most of `stdpp`s libraries. This seemed to not terminate. I then...
kind: performance
kind: bug