Structural-honesty checks for Python, powered by Furqan
A programming language type-checker enforcing structural honesty (Phase 2 prototype).
