55aca6e8ebb4593221bc65146e4eb3a2c982beeb		branch 'main' of https://github.com/hyperpolymath/proven
285e701284251220e4e16b669221d501b0ce73b7		tag 'v0.5.0' of https://github.com/hyperpolymath/proven
65657903a63350f8ba9f9c0fefd61a1caa60d2c8		tag 'v0.9.0' of https://github.com/hyperpolymath/proven
ac347f5d7956131943f82e0394d97988335c9c84		tag 'v0.9.1' of https://github.com/hyperpolymath/proven
1f77d9b3114778af70b9bd9c88d0a6e398c32d4b		tag 'v1.0.0' of https://github.com/hyperpolymath/proven