3 ms·TYPES 2025: The 31st International Conference on Types for Proofs and Programs5 points by matt_d 1y agodeleted 1y ago[deleted]