Yongshun Ye

Investigate karakum to see if there's an automated way to generate more code for Kobweb's version of missing stdlib classes.

2

The [kotlin-browser module from kotlin-wrappers](https://github.com/JetBrains/kotlin-wrappers/tree/master/kotlin-browser) provides some "browser APIs missing from the standard library", including [`ResizeObserver`](https://github.com/JetBrains/kotlin-wrappers/blob/master/kotlin-browser/src/jsMain/generated/web/dom/observers/ResizeObserver.kt). I noticed that this library has its own, added probably because the ones in...

The less-than sign followed by a non-space character causes a comment to render incorrectly

1

### Description See the code: ```lean /-

See https://github.com/JetBrains/compose-hot-reload.

* Bump all dependencies to the latest. Notably: * Vert.x 5.0.5 * Java 25 with Kotlin 2.3.0-RC2 * Gradle 9.2.1 * Set the response date with kotlinx-datetime which supports RFC...

Increase `io.netty.iouring.ringSize` for some Vert.x benchmarks that use io_uring

1

Found this while working on #10383. I see the following warnings when running these benchmarks on my device: ``` io.netty.channel.uring.IoUringIoHandler processCompletionsAndHandleOverflow vertx: WARNING: CompletionQueue overflow detected, consider increasing size: 4096...

A strange case where proof search works only if there is a redundant `have` before

1

### Prerequisites Please put an X between the brackets as you perform the following steps: * [X] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [ ] Reduce...

This library has multiple Maven modules and I have only linked the most representative one in the JSON `maven` field. If OK, the Maven link can be changed to our...