shortlog
| Tue, 17 Sep 2024 23:32:27 +0200 | Mike Becker | fix documentation | changeset | files |
| Tue, 17 Sep 2024 23:29:12 +0200 | Mike Becker | also add a binary search for the supremum | changeset | files |
| Tue, 17 Sep 2024 23:32:27 +0200 | Mike Becker | fix documentation | changeset | files |
| Tue, 17 Sep 2024 23:29:12 +0200 | Mike Becker | also add a binary search for the supremum | changeset | files |