Section outline

    • Wolfgang Schreiner: Developing Verified Polynomial Code with the Proof Assistant Isabelle