codingClaire/CodeForComputability

basic code for my lectures: (1)Computability and Logic (2)The Foundations of Program Verification

computability_logic_programs

basic code for my lectures: (1)Computability and Logic (2)The Foundations of Program Verification