GitHub repository: vluzko/tensor-check
Primary language: Python
Description: Refinement types for PyTorch