Atur cara mengikut sites.google.com/site/stpfastprover/

STP (Peribahasa Teorem Mudah): prosedur pelarut / keputusan kekangan yang menerima formula atau kekangan yang dihasilkan oleh analisis program / alat penjanaan ujian, pemeriksa model, pencari pepijat, alat pengesahan formal p