/CL-PC22

Coherent Logic at Proof and Computation, 2022

Primary LanguageTeXCreative Commons Attribution Share Alike 4.0 InternationalCC-BY-SA-4.0

PC-22

Coherent Logic at Proof and Computation, 2022

Course material:

  1. IntroCL.tex
  2. Site_CL.tex
  3. LABresources (directory)

SWI Prolog: https://www.swi-prolog.org/