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

8916189f

Unverified Commit 8916189f authored 1 month ago by Colin Rothgang

Downloads
- Patches
- Plain Diff

add Hol TPTP example for DHOL extension paper

parent 9b6ab782

No related merge requests found

Changes 7

Expand all Hide whitespace changes

Inline Side-by-side

Showing

source/casestudies/2023-cade/Category Theory/category-theory-lemmas-hol.p 2 additions, 0 deletions

...es/2023-cade/Category Theory/category-theory-lemmas-hol.p
source/casestudies/2023-cade/FunctionsOnSets/$Function$Example.p 4 additions, 1 deletion

...casestudies/2023-cade/FunctionsOnSets/$Function$Example.p
source/casestudies/2023-cade/FunctionsOnSets/function-composition-lemma-hol.p 2 additions, 0 deletions

...023-cade/FunctionsOnSets/function-composition-lemma-hol.p
source/casestudies/2025-cade/example_conjecture.p 28 additions, 0 deletions

source/casestudies/2025-cade/example_conjecture.p
source/casestudies/2025-cade/example_conjecture_system_outputs.txt 688 additions, 0 deletions

...sestudies/2025-cade/example_conjecture_system_outputs.txt
source/casestudies/2025-cade/example_typechecking_obligation.p 25 additions, 0 deletions

...e/casestudies/2025-cade/example_typechecking_obligation.p
source/casestudies/2025-cade/recommended-systems.txt 9 additions, 0 deletions

source/casestudies/2025-cade/recommended-systems.txt

with 758 additions and 1 deletion

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