Report - Final year project Bertus: Implementing Observational Equality · Among this systems, Intuitionistic Type Theory (ITT) has been a popular framework for theorem provers and programming

Please pass captcha verification before submit form