TypeTheory icon indicating copy to clipboard operation
TypeTheory copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

PR#224 not yet fully satisfying

Open rmatthes opened this issue 3 years ago • 0 comments

As argued by @nmvdw in the discussion about PR 1582 of UniMath, the inclusion of material from PAdics is not even needed.

rmatthes avatar Oct 27 '22 17:10 rmatthes