- Remove 'prove' tactic - Remove some duplicated tactics and make some proofs more efficient
Attach a file by drag & drop or click to upload
Jakob Botsch Nielsen authored