diff options
| author | Josh Chen | 2018-09-12 09:23:11 +0200 |
|---|---|---|
| committer | GitHub | 2018-09-12 09:23:11 +0200 |
| commit | b2fdfd96dd5eef82f4e44186b95b8a52d7822219 (patch) | |
| tree | 4d3690476db7d4c1835bc8343317b0f0c2f8d86d /README.md | |
| parent | f0999d07a0f41284ba84fae725a0186e0ec9ff5f (diff) | |
Add DOI badge
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +https://zenodo.org/badge/DOI/10.5281/zenodo.1413984.svg + # Isabelle/HoTT An experimental implementation of [homotopy type theory](https://en.wikipedia.org/wiki/Homotopy_type_theory) in the interactive theorem prover [Isabelle](https://isabelle.in.tum.de/). |