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

3 points | by trissim a day ago

No comments yet