NotBad4U / lewis-carroll-coqlang

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

Symbolic Logic by Lewis Carroll with Coqlang

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

Appendices:

• The Project Gutenberg EBook of Symbolic Logic, by Lewis Carroll

• Alice speaks to Cheshire Cat - CHAPTER VI