-------------------------------------------------------------------------------- -- Amethyst: Neural Network Verification in Agda -- -- This module re-exports the submodules for neural networks: -- -- - Amethyst.Network.Base -- - Amethyst.Network.As.Float -- - Amethyst.Network.As.Schmitty -- -------------------------------------------------------------------------------- module Amethyst.Network where open import Amethyst.Network.Base public open import Amethyst.Network.As.Float public open import Amethyst.Network.As.Schmitty public