undefined binding 'SoleLogics.HeytingTruth' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:15-18 ```@docs HeytingTruth heytingtruths ```

undefined binding 'SoleLogics.heytingtruths' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:15-18 ```@docs HeytingTruth heytingtruths ```

undefined binding 'SoleLogics.HeytingAlgebra' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:21-24 ```@docs HeytingAlgebra heytingalgebra ```

undefined binding 'SoleLogics.heytingalgebra' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:21-24 ```@docs HeytingAlgebra heytingalgebra ```

Cannot resolve @ref for md"[`associativity`](@ref)" in src/getting-started.md. - No docstring found in doc for binding `SoleLogics.associativity`. - No docstring found in doc for binding `SoleLogics.associativity`.

Cannot resolve @ref for md"[`precedence`](@ref)" in src/getting-started.md. - No docstring found in doc for binding `SoleLogics.precedence`. - No docstring found in doc for binding `SoleLogics.precedence`.

Cannot resolve @ref for md"[`iscommutative`](@ref)" in src/getting-started.md. - No docstring found in doc for binding `SoleLogics.iscommutative`. - No docstring found in doc for binding `Main.iscommutative`.

Cannot resolve @ref for md"[`AbstractAtom`](@ref)" in src/getting-started.md. - No docstring found in doc for binding `SoleLogics.AbstractAtom`. - No docstring found in doc for binding `Main.AbstractAtom`.

Cannot resolve @ref for md"[`value`](@ref)" in src/getting-started.md. - No docstring found in doc for binding `SoleLogics.value`. - No docstring found in doc for binding `Main.value`.