pokud chcete dokazovat neco o kodu, pripadne si bejt jistej tim co dela, zkusil bych spis nejakej programovaci jazyk - treba scheme. V objekto-templatovym assembleru (c++) je veskery dokazovani redukovany na podobny blaboly jejichz hodnota je blizka hodnote psiho vykalu
