Sebastian Ullrich issues

Repositories
Issues
Comments

Results 103 issues of


                                            Sebastian Ullrich

feat: port to module system

WIP, based on https://github.com/leanprover/lean4/pull/10460

merge-conflict

perf: try dropping written files async on Windows

Toolchain directory not reliably detected on Windows

See [#lean4 > LetRec Error @ 💬](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/LetRec.20Error/near/509466094). The comparison probably needs to be more filesystem-aware.