Proof that any fixed-axis type system fails for some domain (formalized in Lean)

(zenodo.org) by trissim | Jan 6, 2026 | 1 comments on HN