https://github.com/uds-psl/coq-synthetic-computability
History
Tip revision: 06b08f738272a62b1ea2551f5b06a5f261872615 authored by Yannick Forster on 08 February 2022, 16:49:17 UTC
Initial commit
Tip revision: 06b08f7
File Mode Size
.github
Axioms
Shared
Synthetic
website
.gitignore -rw-r--r-- 4.0 KB
Makefile -rw-r--r-- 663 bytes
README.md -rw-r--r-- 1.2 KB
_CoqProject.in -rw-r--r-- 200 bytes

README.md

back to top