ReFL
/
refl.fr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update Stellogen repo link

This commit is contained in:
engboris 2025-01-19 16:29:34 +01:00
parent ca052acc02
commit d1eae5dbc3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/projects.md
View File

@ -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 to be designed to open the development of transcendental syntax to
contributions. 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](https://tsguide.refl.fr)
- [https://tsguide.refl.fr/en](https://tsguide.refl.fr/en) - [https://tsguide.refl.fr/en](https://tsguide.refl.fr/en)