kbnim/progelm-tetelek

Programozáselmélet tételek bizonyítással.