From dc4d41b10d18814db9909a3a64f6b014fbbc3977 Mon Sep 17 00:00:00 2001 From: Damien Sileo Date: Mon, 8 Jun 2026 20:00:12 +0200 Subject: [PATCH] docs: add Reasoning Core community environment --- docs/source/environments.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/source/environments.md b/docs/source/environments.md index 2f750435a..b6b3b0fdc 100644 --- a/docs/source/environments.md +++ b/docs/source/environments.md @@ -276,5 +276,13 @@ The OpenEnv community has built a catalog of ready-to-run environments that cove 🤗 HF +
+
Reasoning Core
+

Formally verifiable symbolic reasoning tasks across logic, mathematics, planning, syntax, and related procedural domains.

+
+ 📄 Docs + 🤗 HF +
+