Some shameless self promo - I'm working on one!

https://hale-lang.org/proof/