型式 けいしき証明 しょうめいだろう
keishikishōmeidarō

Noun
Da Copula

Expresses probability ("probably…") of 型式証明

1. Probably a type certification.; Probably a type approval.

Presumptive
Conjecture