wenkokke / AutoInAgda

Proof automation – for Agda, in Agda.

Home Page:https://wenkokke.github.io/pubs/mpc2015.pdf

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

wenkokke/AutoInAgda Stargazers