Skip to content
Back to pull request #6861

feat: Bool.and, Bool.or, and Bool.not propagation in grind #8261

Sign in to view logs

feat: Bool.and, Bool.or, and Bool.not propagation in grind

feat: Bool.and, Bool.or, and Bool.not propagation in grind #8261

check-lean-files

check-lean-files
succeeded Jan 30, 2025 in 22s