Skip to content

Add meno axiom to energy transformation and subclasses #2053#2120

Merged
stap-m merged 34 commits intodevfrom
feature-2053-get-rid-of-has-energy-participant
Dec 10, 2025
Merged

Add meno axiom to energy transformation and subclasses #2053#2120
stap-m merged 34 commits intodevfrom
feature-2053-get-rid-of-has-energy-participant

Commits

Commits on Sep 25, 2025

Commits on Sep 26, 2025

Commits on Oct 27, 2025

Commits on Nov 21, 2025

Commits on Nov 24, 2025