They are rather like high-level sketches that would allow an expert to reconstruct a formal proof at least in principle, given enough time and patience.
Они скорее подобны высокоуровневым очеркам-эскизам, которые позволяют эксперту восстанавливать формальное доказательство по крайней мере в принципе, имей он достаточно времени и терпения.