×

Found 2 Software Packages (Results 1–2)

Specware

Software Authors:   Srinivas, Y., Jullig, R.; Waldiger, R.
Cited in: 25 Publications (1998–2019)
Related Software: PVS; Nuprl; CASL; Maude; Isabelle; TPS; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SNARK

Software Authors:   Stickel, M.
Cited in: 3 Publications (2009–2015)
Related Software: Waldmeister; E Theorem Prover; Vivid; Mizar; Mathematica; EQP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)