Browse Source

Renamed upstream repository.

main afp-current-Isabelle2021-1
Achim D. Brucker 6 months ago
parent
commit
61e34223aa
  1. 7
      README.md

7
README.md

@ -27,10 +27,11 @@ This project is licensed under a 3-clause BSD-style license.
SPDX-License-Identifier: BSD-3-Clause
## Master Repository
The master git repository for this project is hosted by the [Software
Assurance & Security Research Team](https://logicalhacking.com) at
## Upstream Repository
The upstream git repository, i.e., the single source of truth, for this project is hosted
by the [Software Assurance & Security Research Team](https://logicalhacking.com) at
<https://git.logicalhacking.com/afp-mirror/UPF>.
## Publications

Loading…
Cancel
Save