Coda by Ian Macalinao
    Preparing search index...
    interface ProofInfo {
        proof: number[][];
    }
    Index

    Properties

    Properties

    proof: number[][]