Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

E

efficient-chad-agda-mirror
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

- Smeding,T.J. (Tom)
efficient-chad-agda-mirror

E

efficient-chad-agda-mirror

Project ID: 8869

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

Select Git revision

0 results

efficient-chad-agda-mirror

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

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

authored

Name	Last commit	Last update