Open trtbot opened 6 years ago
question: when should code blocks be compiled as Coq? should there be a "header" or prefix to the message?
question: when should code blocks be compiled as Coq? should there be a "header" or prefix to the message?