GitHub repository: Joszek0723/eight_queens_formal_methods
Primary language: HTML
Created: 2025-04-15T22:17:00Z
Description: Formalizing the Eight Queens Problem in Coq