Opened this issue 4 years ago · 0 comments
To test the new Agda back end and base library translate some case studies from the Master's project and prove some properties. Blocked by #121 #114