jaimergp
jaimergp
Example site: https://leanprover-community.github.io/archive/stream/113488-general/topic/Notation.20for.20the.20Lean.20InfoView.html
Can you use the `!` syntax as in the examples? `condacolab` requires a kernel restart in between commands, so yes, two separate cells are recommended. The "crash" might be expected....
We haven't changed anything significant in between versions, just the default installer we point to. So it must be a Colab change. Using different cells work for me in the...
We need an interpreter restart to LD_LIBRARY_PATH is re-read. I don't know of any other ways for the `python` process to locate and link shared objects. `condacolab.install()` issues the interpreter...
pre-commit.ci autofix
While looking at other parts of the code yesterday I saw there's a `CONDA_DEFAULT_ENV` environment variable checked here and there, as well as a `context.default_env`. Maybe we can repurpose it...
I'm in favour of splitting responsibilities, because in practice that code sharing didn't happen, and the people working on each project are different. I can add a request for a...
This is a question better suited for https://github.com/conda-forge/conda-forge.github.io. I'll transfer there. Also [see this PR](https://github.com/conda-forge/conda-forge-ci-setup-feedstock/pull/208) for the GHCR/OCI discussion so you can anticipate some of the questions.
@pombredanne, done!
The `mypy` errors are external to this PR. We are now importing `univers`, which doesn't feature the `py.typed` marker file, so `mypy` complains it won't infer types from that package....