Documentation
LeanPool
.
PointwiseComposition
.
Foundation
.
FirstOrder
.
LK
.
Completeness
Search
return to top
source
Imports
Init
LeanPool.PointwiseComposition.Foundation.FirstOrder.LK.Completeness.CanonicalModel
LeanPool.PointwiseComposition.Foundation.FirstOrder.LK.Completeness.CountableSublanguage
LeanPool.PointwiseComposition.Foundation.FirstOrder.LK.Completeness.CounterModel
Imported by
Supporting results for pointwise provable equality.