Черты формальных доказательств в русском праведоклад на конференции