History log of /seL4-l4v-master/HOL4/examples/AI_tasks/mleDiophProve.sig
Revision Date Author Comments
# 77e1dfbd 03-Mar-2020 Thibault Gauthier <email@thibaultgauthier.fr>

code for processing results
# 75ecbffc 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

remove trailing white spaces
# 0cc0b07d 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

verification of the solutions