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)