Archív - Bizonyításelmélet és a Coq programcsomag - BMETE91AM58 21222