Upgrade to 4.26.0 #234
Description
This release will supposedly contain a fix (leanprover/lean4#10856) to the compilation issue that we have been having with our AST. We should try to upgrade to it.
- Wait for the 4.26.0 release.
- Bump proven-zk to 4.26.0.
- Bump lampe to 4.26.0.
- Ensure that CI passes.