George Chemmala (Nov 06 2025 at 22:19): George Chemmala (Nov 06 2025 at 22:19):Has anyone tried proving statements about duality in Projective Geometry and is it even possible?
Chelsea Edmonds (Nov 19 2025 at 06:05):I'd think it's definitely possible, but is just going to depend on your core definitions/approach to representation. I've done some simple duality stuff for incidence systems in Isabelle which may be slightly relevant (under combinatorial designs).
Chelsea Edmonds (Nov 19 2025 at 06:13):As an FYI, if any of the design/incidence system stuff is of interest, I'd probably approach how I did dual designs differently if formalising today - happy to discuss further if relevant :)
Last updated: Dec 10 2025 at 12:50 UTC