Se você quer programar em Ada e SPARK (além de C e C++), conheça e veja como instalar o IDE GNAT Studio no Linux via AppImage.
Se você quer programar em Ada e SPARK (além de C e C++), conheça e veja como instalar o IDE GNAT Studio no Linux via AppImage.