Show HN: Proof that any fixed-axis type system fails for some domain (Lean4)

(zenodo.org) by trissim | Jan 7, 2026 | 0 comments on HN