From d1eae5dbc314f31905e2881b57a0a63ef43ddc3e Mon Sep 17 00:00:00 2001 From: engboris Date: Sun, 19 Jan 2025 16:29:34 +0100 Subject: [PATCH] Update Stellogen repo link --- content/projects.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/projects.md b/content/projects.md index 651a444..c79617f 100644 --- a/content/projects.md +++ b/content/projects.md @@ -20,7 +20,7 @@ Girard's transcendental syntax more accessible. Exercises (with solutions) have to be designed to open the development of transcendental syntax to contributions. -- [https://tsguide.refl.fr](https://tsguide.refl.fr) +- [https://github.com/engboris/stellogen](https://github.com/engboris/stellogen) - [https://tsguide.refl.fr](https://tsguide.refl.fr) - [https://tsguide.refl.fr/en](https://tsguide.refl.fr/en)