francoisschwarzentruber / panda Public

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

Panda is a JAVA software for natural deduction.

GPL-3.0 license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
panda.zip		panda.zip

Repository files navigation

panda

Panda is a JAVA software for natural deduction.

About

Panda is a JAVA software for natural deduction.

java natural-deduction

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published