A formalization of formal logic in Lean.
This is built on top of the master branch of mathlib.
These theories are experimental and still under development.
-
Notifications
You must be signed in to change notification settings - Fork 1
avigad/formal_logic
About
A formalization of formal logic in Lean
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published