#theorem proving — Tuesday, May 26, 2026 (1 items)
| 0 | ℹ |
Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof.
(pnas.org)
|
PNAS 2026-05-26 | #formal verification #combinatorics #theorem proving |