search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Make a list of claims and their corresponding Agda proofs in a table #140

Closed vikraman closed 3 years ago

vikraman commented 3 years ago

Fixed in vikraman/popl22-symmetries-artifact#9