Package Details: stainless-git v0.9.8.1.r5.1890d8ca-1

Git Clone URL: https://aur.archlinux.org/stainless-git.git (read-only, click to copy)
Package Base: stainless-git
Description: Verification framework and tool for higher-order Scala programs
Upstream URL: https://github.com/epfl-lara/stainless
Keywords: scala smt stainless verification
Licenses: Apache-2.0
Conflicts: stainless
Provides: stainless
Submitter: sankalpgambhir
Maintainer: sankalpgambhir
Last Packager: sankalpgambhir
Votes: 1
Popularity: 0.000000
First Submitted: 2022-10-18 15:02 (UTC)
Last Updated: 2023-10-24 12:26 (UTC)

Dependencies (5)

Required by (0)

Sources (1)