references minor fixes Helle

Author: hhhansenrug

_data/projects.json

@@ -663,11 +663,11 @@ References:
 2. Abhishek De and Iris van der Giessen. Introduction to Proof Theory. Lecture notes for Midlands Graduate School 2024 [[link]](https://www.irif.fr/_media/users/ade/intro-prf-theory.pdf)
 
 3. Paul Klint, Tijs van der Storm, and Jurgen Vinju. Rascal: A domain specific language for source code analysis and manipulation. Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009 [[link]](https://doi.org/10.1109/SCAM.2009.28).
-Rescal website: <https://www.rascal-mpl.org/>
+[Rascal website](https://www.rascal-mpl.org/).
 
 4. James Brotherston, Nikos Gorogiannis and Rasmus L. Petersen. A Generic Cyclic Theorem Prover. Proceedings of APLAS 2012 [[link]](https://link.springer.com/chapter/10.1007/978-3-642-35182-2_25). 
 Also available [here](http://www0.cs.ucl.ac.uk/staff/J.Brotherston/APLAS12/cyclist.pdf).
-Cyclist Prover: <https://www.cyclist-prover.org/>
+[Cyclist Prover website](https://www.cyclist-prover.org/).
 
 5. Chris Worthington. Proof Transformations for Game Logic. BSc thesis, Computing Science, UG, 2021 [[link]](https://fse.studenttheses.ub.rug.nl/25673/)