TorchLean API
Docs Home
Installation
Guide
Examples
Graphs
Tools
Dark
NN
.
Proofs
.
IR
Search
return to top
source
Imports
Init
NN.Proofs.IR.ShapeContracts
Imported by
IR Proofs
#
Proof-layer facts about TorchLean's graph IR.