Skip to content

Clarify in README.md that we switched to gymnasium.#824

Merged
ernestum merged 1 commit intomasterfrom advertise_gymnasiumDec 5, 2023

Commits

Commits on Dec 5, 2023