Search Criteria
Package Details: squirrel-prover-git latest-3
Package Actions
| Git Clone URL: | https://aur.archlinux.org/squirrel-prover-git.git (read-only, click to copy) |
|---|---|
| Package Base: | squirrel-prover-git |
| Description: | a proof assistant dedicated to cryptographic protocols |
| Upstream URL: | https://github.com/squirrel-prover/squirrel-prover.git |
| Licenses: | MIT |
| Submitter: | BenjaminVoisin |
| Maintainer: | BenjaminVoisin |
| Last Packager: | BenjaminVoisin |
| Votes: | 2 |
| Popularity: | 0.91 |
| First Submitted: | 2024-03-18 14:12 (UTC) |
| Last Updated: | 2024-03-19 14:21 (UTC) |