Author here. If anyone isn't familiar with Galois, we're a consultancy that does a lot of formal methods and proof, which is why it would be great if proofs wer

Author here. If anyone isn't familiar with Galois, we're a consultancy that does a lot of formal methods and proof, which is why it would be great if proofs were easier to manage :) If you're curious, you can get a sense of what we do here: https://galois.com/blog/2021/02/2020-year-in-review/ https://galois.com/blog/2021/02/2020-year-in-review/ The tool we use most often for proofs is called SAW: https://saw.galois.com/ https://saw.galois.com/