Tutorial 2: Pipe junction flow by Isabelle | SimScale...