Coda by Ian Macalinao
    Preparing search index...

    Interface ProofInfo

    interface ProofInfo {
        proof: number[][];
    }
    Index

    Properties

    proof

    Properties

    proof: number[][]

    Settings

    Member Visibility

    On This Page

    Properties