Skip to content

Add an extractor and name for SetSort#27

Open
sankalpgambhir wants to merge 1 commit intouuverifiers:masterfrom
sankalpgambhir:set-pattern
Open

Add an extractor and name for SetSort#27
sankalpgambhir wants to merge 1 commit intouuverifiers:masterfrom
sankalpgambhir:set-pattern

Commits

Commits on Oct 7, 2025