I just saw on the website that arrow proofs is no longer in development. What's the story there? Is the project totally scrapped? Delayed? Are we waiting for language/compiler infrastructure developments?

Hi @Nathan Bedell, We are waiting for FIR to be stable and take a second take on proofs based on stable apis that work on the IDE. We removed it for the time being because we are about to release https://arrow-kt.io/docs/meta/analysis/