Recent changes
Track the most recent changes to the wiki on this page.
4 June 2024
- (diff | hist) . . N HexProver; 19:16 . . (+973) . . Comonoid (Talk | contribs) (Add basic information on mirefek's HexProver)
- (diff | hist) . . Edge template VII1a; 17:59 . . (+277) . . Comonoid (Talk | contribs) (Add .hdg file)
- (diff | hist) . . Edge template VII1a; 17:34 . . (-1) . . Comonoid (Talk | contribs) (fix link)
- (diff | hist) . . Edge template VII1a; 17:32 . . (+1,868) . . Comonoid (Talk | contribs) (Added bobson's hexprover proof, added two possible lines)