NotBad4U / lewis-carroll-coqlang Public

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

Formalization of Lewis Carroll syllogism from Symbolic Logic and proof it with Coqlang.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.md		README.md
lewis.v		lewis.v

Repository files navigation

Symbolic Logic by Lewis Carroll with Coqlang

Enconding Lewis Carroll syllogism from "Symbolic Logic"" and proof it with Coqlang.

Appendices:

About

Formalization of Lewis Carroll syllogism from Symbolic Logic and proof it with Coqlang.

coq coq-formalization lewis-caroll coqlang

Report repository

Releases

No releases published

Packages

No packages published

Languages

Coq 100.0%