Giters

MatthiasHu / CL-PC22

Coherent Logic at Proof and Computation, 2022

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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/

About

Coherent Logic at Proof and Computation, 2022

License:Creative Commons Attribution Share Alike 4.0 International

Languages

Language:TeX 84.1%Language:Prolog 15.9%