Proje özeti Bu projedeki amacımız denetmenin hesaplama bütçesinin çok kısıtlı olduğu etkileşimli ispat ve münazara sistemlerinin özelliklerinin incelenmesidir.
