GitHub - fferri/dl-tableau: Description Logics (DL) interactive theorem proving tool (tableau) · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 63 Commits
.gwt		.gwt
.settings		.settings
src		src
war		war
.classpath		.classpath
.project		.project

About

Description Logics (DL) interactive theorem proving tool (tableau)

Report repository

Releases

No releases published

Packages

Contributors

Languages