Add some proofs documentation examples [ci skip]
Add some proofs documentation examples [ci skip]

alekseysidorov/exonum,exonum/exonum,exonum/exonum,alekseysidorov/exonum,alekseysidorov/exonum,exonum/exonum,exonum/exonum,alekseysidorov/exonum