El 28/07/20 a las 4:35, Manuel Eberl escribió: > Well, if you want to do it the "proper" way, you need a logic with an > explicit notion of undefinedness.
In HOL4 one can use the option types. _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
