https://github.com/uds-psl/coq-synthetic-computability
Tip revision: 06b08f738272a62b1ea2551f5b06a5f261872615 authored by Yannick Forster on 08 February 2022, 16:49:17 UTC
Initial commit
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 |