Z zenodo.org Proof that any fixed-axis type system fails for some domain (formalized in Lean) 2 points trissim 10 months ago 1 comments
