fitch

• "language, proof and logic" adli kitap ile birlikte gelen bir yazilimin adi. first-order logic de ispat yapma ve bunun dogrulugunu hem programda hem de internet uzerinde e-mail yoluyla kontrol etmeye imkan saglamasi yonuyle basarilidir. kisacasi ispat yapip sonra da ispatin dogrulugundan emin olmaniz icin kendini paralayan yazilimdir.