aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--README.md9
1 files changed, 6 insertions, 3 deletions
diff --git a/README.md b/README.md
index 1b5da91..ca89f9f 100644
--- a/README.md
+++ b/README.md
@@ -2,12 +2,15 @@ Coq Formalization for Mininix
2============================= 2=============================
3 3
4[![License](https://img.shields.io/badge/License-BSD_3--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause) 4[![License](https://img.shields.io/badge/License-BSD_3--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause)
5[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.12208115.svg)](https://doi.org/10.5281/zenodo.12208115)
5 6
6Mininix is a smaller version of the Nix expression language. This repository 7Mininix is a smaller version of the Nix expression language. This codebase
7provides the mechanization of the semantics and reference interpreter for this 8provides the mechanization of the semantics and reference interpreter for this
8language in the [Coq](https://coq.inria.fr/) proof assistant. For more details, 9language in the [Coq](https://coq.inria.fr/) proof assistant. For more details,
9I refer to my bachelor' thesis. I will link to it when it is made available on 10I refer to my bachelor's thesis. It should be linked to from the related work
10the [thesis archive](https://www.cs.ru.nl/bachelors-theses/) page of 11section of the [Zenodo record](https://zenodo.org/records/12208115) after it
12has been made available on the [thesis
13archive](https://www.cs.ru.nl/bachelors-theses/) page of
11[iCIS](https://www.ru.nl/en/institute-for-computing-and-information-sciences). 14[iCIS](https://www.ru.nl/en/institute-for-computing-and-information-sciences).
12 15
13## Development 16## Development