schaeuf / Fregekalkuel Public

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

Graphical tool do derive local formulars in the calculus and graphical representation of Freges Begriffsschrift.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
src		src
Fregekalkuel.jar		Fregekalkuel.jar
README.md		README.md
hinzu.png		hinzu.png

Repository files navigation

Fregekalkuel

Graphical tool do derive local formulars in the calculus and graphical representation of Freges Begriffsschrift.

About

Graphical tool do derive local formulars in the calculus and graphical representation of Freges Begriffsschrift.

Report repository

Releases

No releases published

Packages

No packages published

Languages

Java 100.0%