Package Details: stainless-git v0.9.6.r10.3ef64d07-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.044421
First Submitted: 2022-10-18 15:02 (UTC)
Last Updated: 2022-10-18 15:34 (UTC)

Dependencies (5)

Required by (0)

Sources (1)