-
- Downloads
Expand the set theory/function composition example problem
It now additionally introduces injectivity/surjectivity/bijectivity inverses and lemmas (proven by the hammer) relating them.
Showing
- source/casestudies/2023-cade/MMT prover output/$Function$Example.ax 30 additions, 0 deletions...estudies/2023-cade/MMT prover output/$Function$Example.ax
- source/casestudies/2023-cade/MMT prover output/$Function$Example.p 19 additions, 1 deletion...sestudies/2023-cade/MMT prover output/$Function$Example.p
- source/casestudies/2023-cade/MMT prover output/$Function$Example.proof.tptp 20 additions, 20 deletions.../2023-cade/MMT prover output/$Function$Example.proof.tptp
- source/casestudies/2023-cade/MMT_example_problems/cat.mmt 3 additions, 3 deletionssource/casestudies/2023-cade/MMT_example_problems/cat.mmt
- source/casestudies/2023-cade/MMT_example_problems/functions.mmt 27 additions, 1 deletion.../casestudies/2023-cade/MMT_example_problems/functions.mmt
Loading
Please register or sign in to comment