HOL Software Authors: Gordon, Michael J. C. Cited in: 582 Publications (1985–2022) Related Software: Isabelle; Isabelle/HOL; ML; Coq; HOL Light; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
HOL Light Software Authors: Harrison, John Cited in: 305 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
ETPS Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Cited in: 159 Publications (1986–2022) Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
LCF Software Authors: Milner, Robin Cited in: 158 Publications (1972–2022) Related Software: ML; Coq; HOL; Nuprl; Isabelle; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)
Sledgehammer Software Authors: Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. Cited in: 149 Publications (2010–2022) Related Software: Isabelle/HOL; Isabelle; z3; Coq; VAMPIRE; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)
TPS Software Authors: Andrews, Peter B.; Brown, Chad E. Cited in: 76 Publications (1990–2022) Related Software: TPTP; ETPS; HOL; LEO-II; Satallax; PVS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
Coq/SSReflect Software Authors: Microsoft Research-Inria Joint Center Cited in: 71 Publications (2008–2021) Related Software: Coq; Isabelle/HOL; Mizar; ACL2; Isabelle; Flyspeck; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)
Nitpick Software Authors: Blanchette, Jasmin Christian; Nipkow, Tobias Cited in: 71 Publications (1999–2022) Related Software: Isabelle/HOL; Sledgehammer; Coq; Isabelle; TPTP; PVS; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
Satallax Software Authors: Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller Cited in: 62 Publications (2010–2022) Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; VAMPIRE; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
ProofPower Software Authors: Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd Cited in: 52 Publications (2001–2020) Related Software: Circus; Z; HOL; Isabelle/HOL; HOL Light; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Real functions (26-XX)
Ciao Software Authors: Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G. Cited in: 52 Publications (1999–2022) Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
IMPS Software Authors: Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier Cited in: 51 Publications (1990–2021) Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
LEO-II Software Authors: Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A Cited in: 51 Publications (2008–2020) Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; TPS; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
HiLog Software Authors: Weidong Chen; Michael Kifer; David S. Warren Cited in: 47 Publications (1993–2021) Related Software: Hiord; swrl; Haskell; Smodels; XSB; Twelf; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GHC Software Authors: Ueda, Kazunori Cited in: 36 Publications (1986–2014) Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Lifting Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 35 Publications (2013–2023) Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
Transfer Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 35 Publications (2013–2023) Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
Ynot Software Authors: Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars Cited in: 34 Publications (2008–2019) Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
OMEGA Software Authors: Kerber, Manfred; theoremprover-museum; Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M. Cited in: 32 Publications (1997–2016) Related Software: Coq; TRAMP; OTTER; TPTP; Gandalf; Mizar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
IsaPlanner Software Authors: Lucas Dixon; Moa Johansson Cited in: 30 Publications (2000–2021) Related Software: Isabelle; Lambda-Clam; Isabelle/HOL; Coq; Isar; Theorema; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
LOOP Software Authors: van den Berg, Joachim; Jacobs, Bart Cited in: 24 Publications (2001–2012) Related Software: JML; PVS; KRAKATOA; ESC/Java; Eiffel; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CCSL Software Authors: Jan Rothe, Bart Jacobs, and Hendrik Tews Cited in: 24 Publications (2001–2015) Related Software: PVS; CoCasl; CASL; Haskell; OCaml; GenCCSL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)
Lambda-Clam Software Authors: J. Richardson, A. Smaill, I. Green Cited in: 24 Publications (1997–2012) Related Software: IsaPlanner; Nuprl; Isabelle/HOL; Isabelle; Coq; Isar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Bedwyr Software Authors: David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu Cited in: 21 Publications (2007–2022) Related Software: Twelf; Abella; Nominal Isabelle; HYBRID; PoplMark; Teyjus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
HOL-OCL Software Authors: Brucker, Achim D.; Wolff, Burkhart Cited in: 13 Publications (2002–2016) Related Software: ATL; KeY; ETPS; Maude; UMLtoCSP; UML2Alloy; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Leo-III Software Authors: Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph Cited in: 18 Publications (2015–2022) Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; SPASS; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
OpenTheory Software Authors: Hurd, J. Cited in: 17 Publications (2012–2023) Related Software: HOL Light; HOL; Isabelle/HOL; Isabelle; Coq; CakeML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Predator Software Authors: Dudka, Kamil; Müller, Petr; Peringer, Petr; Vojnar, Tomáš Cited in: 14 Publications (2012–2021) Related Software: CPAchecker; CBMC; Slide; BLAST; Infer; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HasCasl Software Authors: Schr"oder, Lutz; Mossakowski, Till Cited in: 17 Publications (2002–2015) Related Software: CASL; Haskell; Hets; Maude; F#; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Teyjus Software Authors: Nadathur, G., Mitchell, D.J. Cited in: 17 Publications (2001–2022) Related Software: Twelf; Abella; Isabelle/HOL; Coq; Beluga; ELPI; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
THF0 Software Authors: Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff Cited in: 14 Publications (2008–2019) Related Software: TPTP; E Theorem Prover; Isabelle/HOL; LEO-II; Satallax; TPS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Athena Software Authors: Konstantine Arkoudas Cited in: 10 Publications (2004–2017) Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
Charge! Software Authors: Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars Cited in: 10 Publications (2012–2021) Related Software: Coq; Toolchain; VeriFast; HIP; VeriSmall; Frama-C; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOL-Omega Software Authors: Homeier, Peter V. Cited in: 9 Publications (2009–2019) Related Software: HOL; Isabelle; Coq; Lifting; Transfer; HOL Light; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
RALL Software Authors: David von Oheimb, Thomas F. Gritzner Cited in: 9 Publications (1997–2014) Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CFML Software Authors: Charguéraud, Arthur Cited in: 7 Publications (2010–2015) Related Software: Coq; ML; HOL; Haskell; Milawa; Smallfoot; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CryptHOL Software Authors: Basin, D., Lochbihler, A., Sefidgar, S.R. Cited in: 8 Publications (2017–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HOList Software Authors: Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox Cited in: 8 Publications (2020–2022) Related Software: E Theorem Prover; FEMaLeCoP; VAMPIRE; ileanCoP; leanCoP; XGBoost; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
LeoPARD Software Authors: Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph Cited in: 8 Publications (2015–2021) Related Software: Satallax; Leo-III; TPTP; Isabelle/HOL; Sledgehammer; QMLTP; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
VeriML Software Authors: Stampoulis, Antonis; Shao, Zhong Cited in: 8 Publications (2010–2016) Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Alloy* Software Authors: Milicevic, A., Near, J.P., Kang, E., Jackson, D. Cited in: 6 Publications (2017–2021) Related Software: z3; GitHub; margrave; TestEra; Kodkod; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
GoedelGod Software Authors: Christoph Benzmüller; Bruno Woltzenlogel Paleo Cited in: 7 Publications (2015–2020) Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Satallax; Nitpick; LEO-II; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RGITL Software Authors: Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang Cited in: 7 Publications (2014–2022) Related Software: SPIN; KIV; Isabelle/HOL; CIRC; CPAchecker; HolBA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AUTO2 Software Authors: Zhan, Bohua Cited in: 6 Publications (2016–2019) Related Software: Isabelle/HOL; Isabelle; Mizar; Auto2_Imperative_HOL; Separation Logic; IsarMathLib; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
HOT Software Authors: Konrad, Karsten Cited in: 6 Publications (1998–2021) Related Software: TPS; Nuprl; CoqHammer; HOLyHammer; E Theorem Prover; Sledgehammer; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
TPtool Software Authors: Szabolcs Nagy; Zoltán Petres; Peter Baranyi Cited in: 6 Publications (2014–2017) Related Software: Qhull; YALMIP; SDPT3; Robust Control Toolbox; Matlab Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Crowfoot Software Authors: Charlton, Nathaniel; Horsfall, Ben; Reus, Bernhard Cited in: 5 Publications (2011–2015) Related Software: Smallfoot; VeriFast; jStar; HIP; Ynot; CFML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Hop Software Authors: Manuel Serrano, Erick Gallesio, Florian Loitsch Cited in: 5 Publications (2010–2019) Related Software: Links; Ur/Web; Haskell; CLEAN; Flapjax; JavaScript; … Main Fields: Computer science (68-XX)
SigmaKEE Software Authors: Pease, Adam; Schulz, Stephan Cited in: 4 Publications (2009–2020) Related Software: E Theorem Prover; VAMPIRE; SRASS; TPTP; OTTER; MPTP 0.2; … Main Fields: Computer science (68-XX)
TravMC2 Software Authors: Robin P. Neatherway , C.-H. Luke Ong Cited in: 5 Publications (2016–2020) Related Software: GitHub; MoCHi; TravMC; HorSatP; HMC; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UTP2 Software Authors: Andrew BUTTERFIELD Cited in: 5 Publications (2010–2019) Related Software: Saoithin; Isabelle/HOL; Isabelle/UTP; ProofPower; PVS; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AgsyHOL Software Authors: Lindblad, F. Cited in: 4 Publications (2013–2015) Related Software: TPTP; Nitpick; Isabelle/HOL; Satallax; LEO-II; FMLtoHOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
embed_modal Software Authors: Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph Cited in: 4 Publications (2017–2021) Related Software: Isabelle/HOL; Nitpick; Satallax; MleanCoP; Leo-III; LeoPARD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FMLtoHOL Software Authors: Benzmüller, Christoph; Raths, Thomas Cited in: 4 Publications (2013–2021) Related Software: TPTP; Isabelle/HOL; Nitpick; Satallax; QMLTP; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Hiord Software Authors: Cabeza, Daniel; Hermenegildo, Manuel; Lipton, James Cited in: 4 Publications (2004–2018) Related Software: HiLog; CoALP; CiaoPP; Ciao; Lolli; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOL2P Software Authors: Völker, Norbert Cited in: 4 Publications (2007–2018) Related Software: HOL Light; HOL; Coq; HOL Light QE; reFLect; Agda; … Main Fields: Computer science (68-XX)
LogiKEy Software Authors: Christoph Benzmüller, Xavier Parent, Leendert van der Torre Cited in: 4 Publications (2020–2022) Related Software: Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Nunchaku Software Authors: Reynolds, Andrew; Blanchette, Jasmin Christian; Cruanes, Simon; Tinelli, Cesare Cited in: 4 Publications (2016–2022) Related Software: CVC4; z3; Nitpick; Kodkod; Isabelle/HOL; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Saoithin Software Authors: Andrew BUTTERFIELD Cited in: 4 Publications (2010–2017) Related Software: UTP2; Isabelle/HOL; PVS; Coq; Isabelle/UTP; Isabelle/Circus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Zipperposition Software Authors: Simon Cruanes Cited in: 3 Publications (2017–2022) Related Software: TPTP; VAMPIRE; E Theorem Prover; Satallax; StarExec; SPASS; … Main Fields: Computer science (68-XX)
Imandra Software Authors: Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto Cited in: 3 Publications (2020–2021) Related Software: Zeno; SMT-LIB; VAMPIRE; CVC4; AVATAR; eThor; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Monomorphic Monad Software Authors: Andreas Lochbihler Cited in: 3 Publications (2017–2022) Related Software: Lifting; Transfer; Isabelle/HOL; Locales; HOL; Cubical agda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VST-Floyd Software Authors: Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. Cited in: 3 Publications (2018–2021) Related Software: Coq; Toolchain; Rust; Dafny; RustBelt; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CAVA Software Authors: Julian Brunner; Peter Lammich; et.al. Cited in: 2 Publications (2018–2019) Related Software: Gabow SCC; CAVA LTL Modelchecker; Archive Formal Proofs; CAVA Automata Library; Isabelle/HOL; Isabelle; … Main Fields: Computer science (68-XX)
Datafun Software Authors: Arntzenius, Michael; Krishnaswami, Neelakantan R. Cited in: 2 Publications (2016–2022) Related Software: Haskell; Dsharp; Hakaru; TOY; Mercury; Church; … Main Fields: Computer science (68-XX)
Guardol Software Authors: David Hardin; Konrad Slind; Michael Whalen; Tuan-Hung Pham Cited in: 1 Publication (2016) Related Software: MoCHi; RADA; CVC4; Leon; OpenSMT; z3; … Main Fields: Computer science (68-XX)
Hintikka's world Software Authors: François Schwarzentruber Cited in: 2 Publications (2020) Related Software: MCMAS Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOL88 Software Authors: theoremprover-museum Cited in: 2 Publications (1999–2001) Related Software: HOL; PVS Main Fields: Computer science (68-XX)
Holophrasm Software Authors: Daniel Whalen Cited in: 2 Publications (2017–2021) Related Software: FEMaLeCoP; TPTP; HOL; ENIGMA; DeepMath; kepler98; … Main Fields: Computer science (68-XX)
PAF! Software Authors: Baro, Sylvain Cited in: 2 Publications (2004–2011) Related Software: KIV; Why3; PVS; Coq; ACL2 Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Quasi-Borel Spaces Software Authors: Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato Cited in: 2 Publications (2017–2022) Related Software: Church; mathlib; ML; HOL; pGCL; Density Compiler; … Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Xeggora Software Authors: Amirian, Mohammad Mahdi; Ghidary, Saeed Shiry Cited in: 2 Publications (2019–2020) Related Software: RockIt; DIMACS; Walksat; LoMRF; SPFlow; Tuffy; … Main Fields: Computer science (68-XX)
HolPy Software Authors: Xu, Runqing; Li, Liming; Zhan, Bohua Cited in: 1 Publication (2021) Related Software: jsCoq; KeYmaera X; Lean; Python; HOL; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KEIM Software Authors: Huang, X., Kerber, M., Kohlhase, M., Melis, E., Nesmith, D., Richts, J., Siekmann, J. Cited in: 1 Publication (2005) Related Software: OMEGA; Leo; MKRP Main Fields: Computer science (68-XX)
Lash Software Authors: Brown, Chad E.; Kaliszyk, Cezary Cited in: 1 Publication (2022) Related Software: TPS; Satallax; TPTP Main Fields: Computer science (68-XX)
Nuprl-Light Software Authors: Hickey, Jason J. Cited in: 1 Publication (1997) Related Software: Cambridge LCF; Nuprl; Isabelle Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Paraconsistency Software Authors: Anders Schlichtkrull; Jørgen Villadsen Cited in: 1 Publication (2018) Related Software: GitHub; GRAT; FOL_Harrison; Propositional Resolution; Incredible Proof Machine; Abstract Soundness; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Watson Software Authors: Randall Holmes, M.; Alves-Foss, Jim Cited in: 1 Publication (2001) Related Software: OTTER; IMPS; LCF; Nuprl; HOL; ML; … Main Fields: Computer science (68-XX)