Search for tag: "reflexivity"

17:43 COS510-preview COS510-preview	COS510-preview COS510 preview - Software Verification cos326 length proof cons app programs induction assistant programming thing ocaml function theorem computer things machine reflexivity append hypothesis step fact From Daniel Macleod on September 16th, 2020 0 likes 136 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ