jul3x / LogicCourse Public

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

Few exercises with main topic of propositional logic (MIMUW course)

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
task_1		task_1
task_2		task_2
task_3		task_3
.gitignore		.gitignore
README.md		README.md

Repository files navigation

LogicCourse

Few exercises with main topic of propositional and intuitionistic logic (MIMUW course)

About

Few exercises with main topic of propositional logic (MIMUW course)

logic-programming sat-solver propositional-logic

Report repository

Releases

No releases published

Packages

No packages published

Languages