Văn bản này: Formal synthesis of Lyapunov neural networks