Any progress in the Python ecosystem on static checking for things like tensors and data frames? As I understand it, the comments at the bottom of this FAQ stil

Any progress in the Python ecosystem on static checking for things like tensors and data frames? As I understand it, the comments at the bottom of this FAQ still apply: https://docs.kidger.site/jaxtyping/faq/ https://docs.kidger.site/jaxtyping/faq/