TensorLib
Verified Dtype Universe
Every cast proven. Every bound mechanized.
KEY
Bool
Integer
Float
Theorem
→
Lossless cast
→
Proves
→
Depends on
λ
drag to time-travel
Edge Cases
×
×
← Prev
Next →