From: Andrei Popescu <uuomul@yahoo.com> This is one of the most rewarding kinds of moments for a proof assistant. :-)
Andrei
Last updated: May 01 2024 at 01:11 UTC