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