Formal Proof Accepting Ethos
Derived From
Additions to the Derived:
Declarations
Ethos is Formal Proof Accepting
- short:
formal_proof - long:
My ethos is accepting formal proofs of these forms <link 1>. The solutions for the proofs received are at <link 2>. The formal proof types that I do not accept I cannot use for my benefit.