diff --git a/tools/mc/spaceex.md b/tools/mc/spaceex.md index d59912f..1075606 100644 --- a/tools/mc/spaceex.md +++ b/tools/mc/spaceex.md @@ -4,8 +4,8 @@ draft = false title = 'SpaceEx' subtitle = 'Hybrid Systems' links = [ - { title = "Homepage", url = "https://cadp.inria.fr/", icon = 'fa-solid fa-home' }, - { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github' }, + { title = "Homepage", url = "http://spaceex.imag.fr/", icon = 'fa-solid fa-home' }, + # { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github' }, # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' } ] applications = ['Hybrid Systems']