# Auto-generated by schemas-hf. Do not edit manually.

from dataclasses import dataclass
from typing import ClassVar, Optional

from schemas_hf.base import DatasetSchema
from schemas_hf.registry import register_schema


@register_schema
@dataclass
class UwunionNuminaLeanRecord(DatasetSchema):
    DATASET_NAME: ClassVar[str] = "uwunion/numina-lean"
    CONFIG_NAME: ClassVar[Optional[str]] = None
    rid: int
    uuid: str
    problem: str
    question_type: str
    answer: str
    author: str
    formal_statement: str
    formal_ground_truth: str
    ground_truth_type: str
    formal_proof: str
    source: str
    problem_type: str
    exam: str
    statement_declarations_json: str
    proof_declarations_json: str
    num_statement_declarations: int
    num_proof_declarations: int
    has_formal_proof: bool
