GitHub repository: 4D617278/cs6301project
Primary language: Coq
Created: 2022-10-26T23:49:31Z
Description: Formal verification of strncmp, strlen, and strnlen