These proofs are represented as formal mathematical objects, facilitating their analysis by mathematical techniques.
Овие докази се претставени како формални математички предмети, упростувајќи ја нивната анализа со математички техники.