Mac Malone

feat: `Quote` + related syntax improvements

17

This PR does a few syntax-related things: * Adds the ability to pass `SourceInfo` to syntax constructed via `Quote`. * Exposes the `Name` to `NameLit` conversion originally embedded inside the...

Invalid projection on field of a dependent cast in a dependent structure constructor

2

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

Environment leaks between spawned processes (on Windows)

1

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

`leanc` does not use internal flags when `LEAN_CC` is set even if it is set to the bundled compiler

14

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

Lean server does not accept `exit` notification before `initialize`

4

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

Proposal for Stdlib Contributions [RFC]

12

The current standard library in the Lean core is lacking many common utility functions. One way to go about fleshing it out is to allow the community to contributed useful...

Writing to C/C++ standard output causes the server file worker to hang

4

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

Asynchronous printing hangs the server

4

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...

Server crashes when evaluating missing `extern` definitions

5

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean4/issues). *...