MyNixOS website logo
MyNixOS website logo
Flakes
Categories
Options
Packages
categories

applications/science/logic

Showing entries 1-52 out of 52.
abellaNix package
Interactive theorem prover
avyNix package
AIGER model checking for Property Directed Reachability
cedilleNix package
Interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Cur…
coqcoqNix package
Coq proof assistant
coqcoq_8_10Nix package
Coq proof assistant
coqcoq_8_11Nix package
Coq proof assistant
coqcoq_8_12Nix package
Coq proof assistant
coqcoq_8_13Nix package
Coq proof assistant
coqcoq_8_14Nix package
Coq proof assistant
coqcoq_8_15Nix package
Coq proof assistant
coqcoq_8_16Nix package
Coq proof assistant
coqcoq_8_17Nix package
Coq proof assistant
coqcoq_8_18Nix package
Coq proof assistant
coqcoq_8_19Nix package
Coq proof assistant
coqcoq_8_20Nix package
Coq proof assistant
coqcoq_8_7Nix package
Coq proof assistant
coqcoq_8_8Nix package
Coq proof assistant
coqcoq_8_9Nix package
Coq proof assistant
coqcoq_9_0Nix package
Coq proof assistant
coqcoq_9_1Nix package
Coq proof assistant
coqcoqPackages.coqNix package
coqPackages
Coq proof assistant
cubicleNix package
Open source model checker for verifying safety properties of array-based systems
cvc3Nix package
Prover for satisfiability modulo theory (SMT)
cvc5Nix package
High-performance theorem prover and SMT solver
easycryptNix package
Computer-Aided Cryptographic Proofs
easycrypt-runtestNix package
Testing program for EasyCrypt formalizations
ekrhyperNix package
Automated first-order theorem prover
eprovereproverNix package
Automated theorem prover for full first-order logic with equality
eprovereprover-hoNix package
Automated theorem prover for full first-order logic with equality
glucoseNix package
Modern, parallel SAT solver (sequential version)
glucose-syrupNix package
Modern, parallel SAT solver (parallel version)
hol_light-unstableNix package
Interactive theorem prover based on Higher-Order Logic
kleeNix package
Symbolic virtual machine built on top of LLVM
leo2Nix package
High-performance typed higher order prover
leo3Nix package
Automated theorem prover for classical higher-order logic with choice
prooftreeNix package
Program for proof-tree visualization
rocqrocq-coreNix package
The Rocq Prover
rocqrocq-core_9_0Nix package
The Rocq Prover
rocqrocq-core_9_1Nix package
The Rocq Prover
rocqrocqPackages.rocq-coreNix package
rocqPackages
The Rocq Prover
satallaxNix package
Automated theorem prover for higher-order logic
spassNix package
Automated theorem prover for first-order logic
statverifNix package
Verification of stateful processes (via Proverif)
tamarin-proverNix package
Security protocol verification in the symbolic model
tla-toolboxNix package
IDE for the TLA+ tools
tlaplustlaplusNix package
Algorithm specification language with model checking tools
tlaplustlaplus18Nix package
Algorithm specification language with model checking tools
tlapsNix package
Mechanically check TLA+ proofs
vampireNix package
Vampire Theorem Prover
veriTNix package
Open, trustable and efficient SMT-solver
why3Nix package
Platform for deductive program verification
yicesNix package
High-performance theorem prover and SMT solver