Coherent Logic at Proof and Computation, 2022
Course material:
- Intro_CL.pdf
- Site_CL.pdf
- Skolem_CL.pdf
- LABresources (directory)
SWI Prolog: https://www.swi-prolog.org/
-
Notifications
You must be signed in to change notification settings - Fork 2
Coherent Logic at Proof and Computation, 2022
License
marcbezem/CL-PC22
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Coherent Logic at Proof and Computation, 2022
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published