Coherent Logic at Proof and Computation, 2022
Course material:
- IntroCL.tex
- Site_CL.tex
- LABresources (directory)
SWI Prolog: https://www.swi-prolog.org/
Coherent Logic at Proof and Computation, 2022
Course material:
SWI Prolog: https://www.swi-prolog.org/