Initial Tamarin Coding Standard

.github/workflows/build-and-release.yml

@@ -19,9 +19,6 @@ jobs:
     name: Build Coding Standards and Update Release
     runs-on: ubuntu-latest
     steps:
-      - name: Install Packages
-        run: sudo apt-get install build-essential epstool
-
       - name: Install/Restore TeXLive Environment
         uses: FreeAndFair/setup-texlive-action@v3
         with:

README.md

@@ -2,7 +2,7 @@
 
 This repository contains the source files and rendered versions of the multi-lanuage Free & Fair Coding Standards. The latest version is always available from [https://github.com/FreeAndFair/CodingStandards/releases/tag/latest](https://github.com/FreeAndFair/CodingStandards/releases/tag/latest).
 
-Internally, we typically edit these coding standards on [Overleaf](https://www.overleaf.com/). A read-only version of the Overleaf project is available [here](https://www.overleaf.com/read/zswcvbhxmrmd#c05626); team members with write access have direct access to the project through Overleaf. 
+Internally, we typically edit these coding standards on [Overleaf](https://www.overleaf.com/). A read-only version of the Overleaf project is available [here](https://www.overleaf.com/read/zswcvbhxmrmd#c05626); team members with write access have direct access to the project through Overleaf.
 
 Pull requests against this repository will also be evaluated for incorporation into these standards; we will generate pull requests of our own for all major changes that we make internally as well, so as to maintain a history of such changes.
 
@@ -13,4 +13,4 @@ The languages currently included, or planned to be included, in the coding stand
 - [Java](https://en.wikipedia.org/wiki/Java_(programming_language))
 - [Lando](https://github.com/GaloisInc/BESSPIN-Lando) (not yet complete)
 - [SysMLv2](https://github.com/Systems-Modeling/SysML-v2-Release) (not yet complete)
-- [Tamarin](https://tamarin-prover.com/) (not yet complete)
+- [Tamarin](https://tamarin-prover.com/)