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