Maude 3.3 (beta) satt opp på Ifis maskiner
Maude 3.3 beta er nå (snart) installert på ifi's linux cluster som kommandoen "maude".
Publisert 16. mars 2023 11:25
- Sist endret 16. mars 2023 11:25
Maude 3.3 beta er nå (snart) installert på ifi's linux cluster som kommandoen "maude".