GitHub - utanapishtim/promethazine: A collection of programs written for the LEAN theorem prover

This repository has been archived by the owner on May 19, 2022. It is now read-only.

utanapishtim / promethazine Public archive

A collection of programs written for the LEAN theorem prover

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
common.lean		common.lean
definitions.clean		definitions.clean
definitions.lean		definitions.lean
equality.clean		equality.clean
equality.lean		equality.lean
evaluate.clean		evaluate.clean
evaluate.lean		evaluate.lean
existential-quantifier.lean		existential-quantifier.lean
implicits.clean		implicits.clean
implicits.lean		implicits.lean
lean.lean		lean.lean
list.clean		list.clean
list.lean		list.lean
namespaces.clean		namespaces.clean
namespaces.lean		namespaces.lean
propositional-assertions.clean		propositional-assertions.clean
propositional-assertions.lean		propositional-assertions.lean
propositional-logic.clean		propositional-logic.clean
propositional-logic.lean		propositional-logic.lean
propositionsAsTypes.clean		propositionsAsTypes.clean
propositionsAsTypes.lean		propositionsAsTypes.lean
universal-quantifier.clean		universal-quantifier.clean
universal-quantifier.lean		universal-quantifier.lean
vars-and-sections.clean		vars-and-sections.clean
vars-and-sections.lean		vars-and-sections.lean