Francisco Coelho / zugzwang

Download as
Browse Code »

Commit 8ea546b65ae7759a3165bf5fa0a00b4a98a8592f

Authored by Francisco Coelho
1 parent 7f89c784
Exists in master

edited kr24

Showing 7 changed files with 3 additions and 1 deletions   Show diff stats
biblio/1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf
View file @7f89c78
No preview for this file type
biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf 0 → 100644
View file @8ea546b
No preview for this file type
biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf
View file @7f89c78
No preview for this file type
biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx 0 → 100644
View file @8ea546b
No preview for this file type
biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf 0 → 100644
View file @8ea546b
No preview for this file type
1 -Subproject commit 4f61af3a4063b5e0b090fad4092c4783b567e796 1 +Subproject commit 0c2dace5954ad711e4d510de937adde92757b977
zugzwang.code-workspace
  Diff comments   View file @8ea546b
@@ -15,6 +15,8 @@ @@ -15,6 +15,8 @@
15 "biblatex", 15 "biblatex",
16 "cplint", 16 "cplint",
17 "CREDAL", 17 "CREDAL",
  18 + "functors",
  19 + "Herbrand",
18 "Hirings", 20 "Hirings",
19 "interpretability", 21 "interpretability",
20 "println", 22 "println",