Ini hanyalah percobaan Qwords, dapat di hapus jika hasil pengecekan telah selesai.

PELATIHAN CURRY HOWARD CORRESPONDENCE PROOF
Deskripsi Pelatihan Curry Howard Correspondence Proof dirancang untuk memberikan pemahaman mendalam tentang hubungan fundamental antara logika formal dan teori tipe.




