Min full-maude.maude fil
Min fil full-maude.maude for Maude 2.7.1. Vet ikke om dere ogs? har en slik som gir "formattert" output av objekter. Hvis ikke, kan dere bruke min fil.
Publisert 7. mars 2021 21:12
- Sist endret 7. mars 2021 21:12