E

efficient-chad-agda-mirror

Project information

This is a mirror of https://github.com/tomsmeding/efficient-chad-agda on UU-owned storage. This is the artifact for https://arxiv.org/abs/2307.05738 , submitted to POPL 2024.

9 Commits
1 Branch
0 Tags

README

Created on

October 31, 2023

Loading