GitHub repository: namin/dafny-sketcher
Primary language: Python
Created: 2024-10-21T20:43:11Z
Description: piggy-backing on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning