http://tk.dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/posts/2023-09-08-kth-itppv.html
Tk.Deep-swarm.xyz I won't trust you. [ bin | blog | cates ]
[ links | share ]
[ toolkit | projects | CHAN ]
[ about | contacts | services | pure ] [ Tk bin | about | tags ] [ RSS ] Notes - Interactive Theorem Proving And Program Verification Tags: [ pl , hol4 , prover , notes , sml ]
Last update: September 8, 2023 Sources SML Syntax Expressions Definition Algebraic lists Types Types, Terms Free and Bound Variables Alpha Equivalence Theorems HOL Light Reference Primitive Rules HOL Light...