GitHub repository: JelleZijlstra/unsoundness
Primary language: Python
Created: 2025-07-03T03:29:58Z
Description: Collecting examples of unsoundness in the Python type system