Redex zu CoqRedex zu CoqÜbersetzungstoolzwischen Redex und Coq.Optimierung der ModellumwandlungLogik in der InformatikAutomatisierte Übersetzung von Redex nach CoqEin neues Tool soll die Umwandlung von Redex-Modellen nach Coq vereinfachen.2025-09-11T08:13:24+00:00 ― 6 min Lesedauer