4.0.0 org.key-project.ips4o ips4o-verify 1.0 ips4o-verify A fast and formally verified sorting algorithm. https://github.com/keyproject/ips4o-verify Simplified BSD License https://opensource.org/licenses/BSD-2-Clause jwiesler Julian Wiesler wiesleju@gmail.com developer verifier witt Sascha Witt sascha.witt@kit.edu developer mattulbrich Mattias Ulbrich ulbrich@kit.edu https://formal.iti.kit.edu/ulbrich Karlsruhe Institute of Technology https://formal.iti.kit.edu verifier Alexander Weigl weigl@kit.edu https://formal.iti.kit.edu/weigl Karlsruhe Institute of Technology https://formal.iti.kit.edu maintainer scm:git:https://github.com/keyproject/ips4o-verify scm:git:ssh://github.com/keyproject/ips4o-verify.git https://github.com/keyproject/ips4o-verify Github https://github.com/keyproject/ips4o-verify/issues