Changelog 0.1.0 (2022-06-22) Features add has_attribute conjecture (2122347) add has_key conjecture (44f5741) Documentation add built-in conjecture examples (c5f610d)