Julien Marquet-Wagner

Add native callbacks.

8

I implemented a utility function (`queueCall`) to call back a pseudo function from the native side. This allows to create "true asynchronous" calls, from the interpreter's point of view. I...

### 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). *...

Run NixOS tests to improve security configuration

2

### First and Last Name Julien Marquet-Wagner ### Email [email protected] ### Company/Organization Independent Contributor, with support from the nlnet foundation ### Job Title Software Engineer ### Project Title (i.e., a...

This is formally a PR but it's more of an issue. I was having trouble deploying Hydra behind a reverse proxy, I wanted the url to look like [hydra.example.com](). I...