Package Details: stainless-git v0.9.9.0.r12.5181f09b-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: 2025-01-22 10:04 (UTC)

Dependencies (6)

Required by (0)

Sources (1)