Implicit And Explicit Semantics Integration In Proof Based Developments Discrete | Desertcart GERMANY