Is Sized Typing for Coq Practical?

8 months ago 35 Views