I was able to post the new comment after clicking refresh for several minutes, but I gave up after trying many times to then edit the top comment to update that I had done the formal proof for gfbinv. https://bugs.libre-soc.org/show_bug.cgi?id=785 Jacob