Skip to content

GitLab

Explore

Sign in
Register

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.

7 Commits
1 Branch
0 Tags

README

Created on

October 31, 2023

Copy SSH clone URLgit@git.science.uu.nl:t.j.smeding/efficient-chad-agda-mirror.git
Copy HTTPS clone URLhttps://git.science.uu.nl/t.j.smeding/efficient-chad-agda-mirror.git

Loading