Jason Gross
Jason Gross
> I'm curious about `@coqbot CI minimize ci-fiat_crypto` Minimizer seems to be having some trouble, but it looks like we're just using `Compute` on things that produce `exist`, and, from,...
> Does anyone object to me taking ownership of this enough to fix the merge conflict and any other (e.g. Coq version) compatibility issues, and then merging it? I might...
Might be worth inlining my review suggestions as comments in the file, for ease of future improvements, if that's not too much trouble. I could even do this from the...