HanMeerholz / CloG-ATP Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An Automated Theorem Proving for the CloG Proof System

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
META-INF		META-INF
input		input
output		output
src		src
.classpath		.classpath
.gitignore		.gitignore
.project		.project
README.md		README.md
bCS_2021_MeerholzJF.pdf		bCS_2021_MeerholzJF.pdf
build.properties		build.properties

Repository files navigation

CloG-ATP

An Automated Theorem Proving for the CloG Proof System

About

An Automated Theorem Proving for the CloG Proof System

Report repository

Releases

No releases published

Packages

No packages published

Languages