Further streamlining of quick-and-dirty evaluation.
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEf1141438b4db: more correct approximation (contributed by Achim Brucker)
- Branches
- Unknown
- Tags
Further streamlining of quick-and-dirty evaluation. Tags None Subscribers None |