ImpAlg.Ens
ImpAlg.Lattices
- Partial Orders
- Lattices
- Bounded Lattices
- Complete lattices
- Tactics
- Properties of meet_set and join_set
ImpAlg.HeytingAlgebras
ImpAlg.BooleanAlgebras
ImpAlg.ImplicativeStructures
ImpAlg.Lambda
ImpAlg.Adequacy
ImpAlg.Combinators
ImpAlg.ImplicativeAlgebras
ImpAlg.ParAlgebras
ImpAlg.LPar
- Encodings of positives contexts of the L⅋-calculus
- Encodings of negative terms of the L⅋-calculus
- Combinators