Added simplify for mixed Finite(Index)Truth and BooleanTruth tuples; … #305
Annotations
10 warnings
|
Run julia-actions/julia-docdeploy@v1:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.HeytingTruth' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:15-18
```@docs
HeytingTruth
heytingtruths
```
|
|
Run julia-actions/julia-docdeploy@v1:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.heytingtruths' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:15-18
```@docs
HeytingTruth
heytingtruths
```
|
|
Run julia-actions/julia-docdeploy@v1:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.HeytingAlgebra' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:21-24
```@docs
HeytingAlgebra
heytingalgebra
```
|
|
Run julia-actions/julia-docdeploy@v1:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.heytingalgebra' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:21-24
```@docs
HeytingAlgebra
heytingalgebra
```
|
|
|
|
|
|
|
|
|
|
|
|
|
Loading