3 ms·What difficulties did you face using Coq?by joaogui1 4y agoWhat difficulties did you face using Coq?