Report copyright - KAT ML: An interactive theorem prover for Kleene …kozen/Papers/JANCL.pdfKAT-ML: An interactive theorem prover for Kleene algebra with tests Kamal Aboul-Hosn — Dexter Kozen Department
Please pass captcha verification before submit form