Hello All! I am looking for a documentation, even few paragraphs about the HOL4 theories Encode/Decode/Coder. Have they been used somewhere?
Thanks, Tarek > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
