Brewly
Formula

vampire

5.1.0

High-performance theorem prover

Install

brew install vampire

Details

Type
Formula
License
BSD-3-Clause
Tap
homebrew/core

Sources

Supported platforms

ArchitecturePlatformsVersionDownload
Apple SiliconGolden Gate5.1.0File
SHA-256636f89cb87a69d674563344ac1973b66ee3eeb3becfa703a65b5ccbf61aa7e50
Apple SiliconTahoe5.1.0File
SHA-25603f7dad715035dd222387a3631ece4133d90b54d89955cd2930a32fb56354bf2
Apple SiliconSequoia5.1.0File
SHA-256722420c1fb9b5e812d831ee663fdcbc00ded8f25c8e5f7066bafb292bff6812e
Apple SiliconSonoma5.1.0File
SHA-25620196b618f28eacd86372743f549e36763642b262421e0663c77699bfe5545e9
IntelSonoma5.1.0File
SHA-25689da007d0b6fb41231aca6bad7cd4f2e956c482384bd09205428d94af43e8ddd
ARM64Linux5.1.0File
SHA-2569b614fdded0ae6a296fa5dcdc0c9876472c2e1a0bc871c695b391a4d3955f13a
x86_64Linux5.1.0File
SHA-2568eeeb7b30593bc00d0170f3727f1ec99a5ba5276e8c6f04c68118ded997de35c

Package data

30-day installs
9
90-day installs
41
365-day installs
124