Skip to content
/ cpl Public

An implementation of natural deduction for Classical Propositional Logic.

Notifications You must be signed in to change notification settings

p-ndr/cpl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

11716fd · Dec 25, 2023

History

5 Commits
Oct 23, 2023
Oct 20, 2023
Oct 23, 2023

Repository files navigation

About

An implementation of natural deduction for Classical Propositional Logic.

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages