Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

L

LATIN2
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

9dd0bf8f

Verified Commit 9dd0bf8f authored 1 year ago by ColinRothgang

Downloads
- Patches
- Plain Diff

Expand overview file

parent 5dbb9b3e

No related branches found

No related tags found

Loading

Changes 10

Hide whitespace changes

Inline Side-by-side

Showing

source/casestudies/2023-cade/MMT_prover_output/$Cat$Extended.ax 0 additions, 0 deletions

.../casestudies/2023-cade/MMT_prover_output/$Cat$Extended.ax
source/casestudies/2023-cade/MMT_prover_output/$Cat.ax 0 additions, 0 deletions

source/casestudies/2023-cade/MMT_prover_output/$Cat.ax
source/casestudies/2023-cade/MMT_prover_output/$Cat.p 0 additions, 0 deletions

source/casestudies/2023-cade/MMT_prover_output/$Cat.p
source/casestudies/2023-cade/MMT_prover_output/$Cat.proof.tptp 0 additions, 0 deletions

...e/casestudies/2023-cade/MMT_prover_output/$Cat.proof.tptp
source/casestudies/2023-cade/MMT_prover_output/$Function$Example.ax 0 additions, 0 deletions

...estudies/2023-cade/MMT_prover_output/$Function$Example.ax
source/casestudies/2023-cade/MMT_prover_output/$Function$Example.p 0 additions, 0 deletions

...sestudies/2023-cade/MMT_prover_output/$Function$Example.p
source/casestudies/2023-cade/MMT_prover_output/$Function$Example.proof.tptp 0 additions, 0 deletions

.../2023-cade/MMT_prover_output/$Function$Example.proof.tptp
source/casestudies/2023-cade/MMT_prover_output/$Predicate$Example.ax 0 additions, 0 deletions

...studies/2023-cade/MMT_prover_output/$Predicate$Example.ax
source/casestudies/2023-cade/MMT_prover_output/$Predicate$Example.p 0 additions, 0 deletions

...estudies/2023-cade/MMT_prover_output/$Predicate$Example.p
source/casestudies/2023-cade/overview.txt 14 additions, 4 deletions

source/casestudies/2023-cade/overview.txt

with 14 additions and 4 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment