GitHub repository: microsoft/nl-2-postcond
Primary language: Python
Description: Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications)  in different languages