-
- Downloads
Re-organize file structure for DHOL translation example folder
TODOs: - find better file names, - subfolders for category theory examples - rewrite overview file
Showing
- source/casestudies/2023-cade/Category Theory/$Cat$Extended$H$O$L.ax 0 additions, 0 deletions...estudies/2023-cade/Category Theory/$Cat$Extended$H$O$L.ax
- source/casestudies/2023-cade/Category Theory/$Cat$Extended.ax 0 additions, 0 deletions...ce/casestudies/2023-cade/Category Theory/$Cat$Extended.ax
- source/casestudies/2023-cade/Category Theory/$Cat$Extended.p 0 additions, 0 deletionssource/casestudies/2023-cade/Category Theory/$Cat$Extended.p
- source/casestudies/2023-cade/Category Theory/$Cat.ax 0 additions, 0 deletionssource/casestudies/2023-cade/Category Theory/$Cat.ax
- source/casestudies/2023-cade/Category Theory/$Cat.p 0 additions, 0 deletionssource/casestudies/2023-cade/Category Theory/$Cat.p
- source/casestudies/2023-cade/Category Theory/cat.mmt 0 additions, 0 deletionssource/casestudies/2023-cade/Category Theory/cat.mmt
- source/casestudies/2023-cade/Category Theory/category-theory-lemmas-dhol.p 0 additions, 0 deletions...s/2023-cade/Category Theory/category-theory-lemmas-dhol.p
- source/casestudies/2023-cade/Category Theory/category-theory-lemmas-hol.p 0 additions, 0 deletions...es/2023-cade/Category Theory/category-theory-lemmas-hol.p
- source/casestudies/2023-cade/Category Theory/comparison-results-extended-category-theory-lemmas.txt 0 additions, 0 deletions...ry/comparison-results-extended-category-theory-lemmas.txt
- source/casestudies/2023-cade/Category Theory/test-results-category-theory-lemmas.txt 0 additions, 0 deletions...e/Category Theory/test-results-category-theory-lemmas.txt
- source/casestudies/2023-cade/Function Composition/$Function$Example.ax 0 additions, 0 deletions...udies/2023-cade/Function Composition/$Function$Example.ax
- source/casestudies/2023-cade/Function Composition/$Function$Example.p 0 additions, 0 deletions...tudies/2023-cade/Function Composition/$Function$Example.p
- source/casestudies/2023-cade/Function Composition/function-composition-lemma-dhol.p 0 additions, 0 deletions...de/Function Composition/function-composition-lemma-dhol.p
- source/casestudies/2023-cade/Function Composition/function-composition-lemma-hol.p 0 additions, 0 deletions...ade/Function Composition/function-composition-lemma-hol.p
- source/casestudies/2023-cade/Function Composition/functions.mmt 0 additions, 0 deletions.../casestudies/2023-cade/Function Composition/functions.mmt
- source/casestudies/2023-cade/Function Composition/test-results-function-composition-lemmas.txt 0 additions, 0 deletions... Composition/test-results-function-composition-lemmas.txt
- source/casestudies/2023-cade/MMT_prover_output/$Cat$Extended-symmetricProd-lemma.p 0 additions, 21 deletions...ade/MMT_prover_output/$Cat$Extended-symmetricProd-lemma.p
- source/casestudies/2023-cade/MMT_prover_output/$Cat$Extended-uniquenessProd-lemma.p 0 additions, 20 deletions...de/MMT_prover_output/$Cat$Extended-uniquenessProd-lemma.p
- source/casestudies/2023-cade/MMT_prover_output/$Cat.proof.tptp 0 additions, 21 deletions...e/casestudies/2023-cade/MMT_prover_output/$Cat.proof.tptp
- source/casestudies/2023-cade/MMT_prover_output/$Function$Example.proof.tptp 0 additions, 21 deletions.../2023-cade/MMT_prover_output/$Function$Example.proof.tptp
Loading
Please register or sign in to comment