no docs found for 'Base.length(a::AbstractAlphabet)' in `@docs` block in src/base-logic.md:47-57 ```@docs AbstractAlphabet{V} Base.isfinite(::Type{<:AbstractAlphabet}) atoms(a::AbstractAlphabet) Base.in(p::Atom, a::AbstractAlphabet) Base.length(a::AbstractAlphabet) Base.iterate(a::AbstractAlphabet) ExplicitAlphabet{V} AlphabetOfAny{V} ```

no docs found for 'arity(φ::SyntaxTree)' in `@docs` block in src/getting-started.md:51-53 ```@docs arity(φ::SyntaxTree) ```

no docs found for 'arity(φ::SyntaxTree)' in `@docs` block in src/getting-started.md:77-90 ```@docs SyntaxStructure SyntaxTree children(φ::SyntaxTree) token(φ::SyntaxTree) arity(φ::SyntaxTree) SyntaxLeaf SyntaxToken dual(t::SyntaxToken) Base.in(tok::SyntaxToken, φ::SyntaxTree) Atom ```

no docs found for 'randformula(height::Integer, alphabet, operators::AbstractVector; rng::Union{Integer,AbstractRNG} = Random.GLOBAL_RNG)' in `@docs` block in src/more-on-formulas.md:51-57 ```@docs Base.rand(alphabet::AbstractAlphabet, args...; kwargs...) SoleLogics.randatom StatsBase.sample(alphabet::AbstractAlphabet, weights::AbstractWeights, args...; kwargs...) randformula(height::Integer, alphabet, operators::AbstractVector; rng::Union{Integer,AbstractRNG} = Random.GLOBAL_RNG) ```

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`.