Coda by Ian Macalinao
    Preparing search index...

    Type Alias ProofInfo

    type ProofInfo = {
        proof: number[][];
    }
    Index

    Properties

    proof

    Properties

    proof: number[][]

    Settings

    Member Visibility

    On This Page

    Properties