update to proof v0.9.2

This commit is contained in:
Jennifer Wang
2021-09-08 01:03:11 -04:00
parent b7f771b258
commit f751291f1a