Search results

test: add deeper integration and round-trip tests across DSLs

enhancementNew feature or requestNew feature or request

Status: Open.

#92 In BlockScience/gds-core;

· rororowyourboat opened on Mar 4, 2026

enhancement: add Pattern.compile() and Pattern.compile_system() to OGS

enhancementNew feature or requestNew feature or request

Status: Open.

#90 In BlockScience/gds-core;

· rororowyourboat opened on Mar 4, 2026

refactor: standardize verify() parameter name to domain_checks across all DSLs

enhancementNew feature or requestNew feature or request

Status: Open.

#89 In BlockScience/gds-core;

· rororowyourboat opened on Mar 4, 2026

test/docs: expand gds-sim test coverage and add documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#87 In BlockScience/gds-core;

· rororowyourboat opened on Mar 4, 2026

feat(gds-games): integrate Nashpy/pygambit for equilibrium computation

enhancementNew feature or requestNew feature or request

Status: Open.

#77 In BlockScience/gds-core;

· rororowyourboat opened on Mar 3, 2026

Lean 4 export: GDS architecture is naturally suited for theorem prover formalization

enhancementNew feature or requestNew feature or request

Status: Open.

#76 In BlockScience/gds-core;

· rororowyourboat opened on Mar 3, 2026