As I understand it, this is an alternative to Ada? But to be honest, I did not really understand the essence of the project, I think I need to study it better in the website
Yes, we need to study this project thoroughly, I think that this project can show something