File size: 927 Bytes
4550dd8 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 | """
FORGE - Polyglot Verification Engine
محرك التحقق متعدد اللغات
Multi-lingual formal verification with APL-inspired mathematics.
Author: Ahmad Ali Parr
License: Sovereign Source
"""
from .verifier import (
BooleanKernel,
VerificationContext,
DenseArrayVerifier,
# Multi-lingual identifiers
VerificationState,
ProofObligation,
EntropyBound,
検証状態,
証明義務,
エントロピー境界,
配列変換,
制約検証,
証明生成,
حالة_التحقق,
الالتزام_بالإثبات,
حد_الإنتروبيا,
مصفوفة_التحويل,
التحقق_من_القيود,
توليد_الدليل,
)
__version__ = "1.0.0"
__author__ = "Ahmad Ali Parr"
__license__ = "Sovereign Source"
__all__ = [
"BooleanKernel",
"VerificationContext",
"DenseArrayVerifier",
]
|