Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

This is an archived project. Repository and other project resources are read-only.

asimina Archived

Project information

Nearness, Proximity, Continuity and Limits in Agda

69 Commits
7 Branches
0 Tags

README

Created on

August 17, 2024

Copy SSH clone URLgit@gitlab.com:bsaul/asimina.git
Copy HTTPS clone URLhttps://gitlab.com/bsaul/asimina.git

Loading