GitHub repository: ChenApr/WangHaoAlgorithm
Primary language: Rust
Created: 2025-01-06T07:41:29Z
Description: Wang Hao Algorithm for automated reasoning in discrete mathematics