GitHub repository: rse-verification/auto-deduct-toolchain
Description: Project for composing a formal verification toolchain