Giters

codingClaire / CodeForComputability

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

computability_logic_programs

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

About

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

License:MIT License