MiniML Software Authors: Davies, Rowan; Pfenning, Frank Cited in: 49 Publications (2000–2021) Related Software: Coq; ML; Haskell; Pesca; Links; Twelf; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
leanCoP Software Authors: Jens Otten Cited in: 36 Publications (2001–2022) Related Software: ileanCoP; TPTP; VAMPIRE; E Theorem Prover; MaLeCoP; FEMaLeCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ileanCoP Software Authors: Otten, Jens Cited in: 31 Publications (2005–2022) Related Software: leanCoP; TPTP; E Theorem Prover; VAMPIRE; ILTP; MaLeCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ILTP Software Authors: Thomas Raths; Jens Otten Cited in: 29 Publications (2005–2021) Related Software: TPTP; ileanCoP; Imogen; leanCoP; fCube; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-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)
MetTeL Software Authors: Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad Cited in: 15 Publications (2011–2021) Related Software: LoTREC; KL-ONE; Gen2sat; MSPASS; E Theorem Prover; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
STRIP Software Authors: Larchey-Wendling, D.; M'ery, D.; Galmiche, Didier Cited in: 15 Publications (1999–2016) Related Software: ILTP; ileanCoP; Imogen; LoTREC; OTTER; JProver; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lilac Software Authors: Ian Mackie Cited in: 14 Publications (1993–2021) Related Software: GitHub; Lincx; Agda; Lolli; ML; Automath; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Imogen Software Authors: Sean McLaughlin; Frank Pfenning Cited in: 11 Publications (2008–2019) Related Software: ILTP; fCube; IntHistGC; ileanCoP; LoTREC; STRIP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
fCube Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Cited in: 10 Publications (2010–2022) Related Software: ILTP; Imogen; IntHistGC; JTabWb; DeReS; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LMNtal Software Authors: Ueda, Kazunori Cited in: 8 Publications (2005–2013) Related Software: GHC; Janus; tccp; Esterel; CC-Pi; Oz; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
intuit Software Authors: Claessen, Koen; Rosén, Dan Cited in: 5 Publications (2015–2021) Related Software: ILTP; BDDTab; InKreSAT; Coq; Gen2sat; GoedelGod; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lolliproc Software Authors: Mazurak, Karl; Zdancewic, Steve Cited in: 5 Publications (2010–2016) Related Software: VeriML; ReCaml; Haskell; F* Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MOIN Software Authors: Girlando, Marianna; Straßburger, Lutz Cited in: 4 Publications (2020–2022) Related Software: TABLEAUX; MiniML; QMLTP; LoTREC; MleanCoP; Leo-III; … Main Fields: Computer science (68-XX)
ILLTP Software Authors: Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle Cited in: 3 Publications (2019–2021) Related Software: Lolli; z3; DeepProbLog; OEIS; Haskell; Sympli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
IntHistGC Software Authors: Goré, Rajeev; Thomson, Jimmy; Wu, Jesse Cited in: 3 Publications (2014–2019) Related Software: ILTP; Imogen; fCube; TABLEAUX; ileanCoP; LoTREC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PITP Software Authors: Avellone, Alessandro; Fiorino, Guido; Moscato, Ugo Cited in: 3 Publications (2007–2008) Related Software: ILTP; Nuprl; Coq Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
JTabWb Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Cited in: 2 Publications (2017–2019) Related Software: Imogen; fCube; ILTP; intuit; IntHistGC; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lincx Software Authors: Georges, Aina Linn; Murawska, Agata; Otis, Shawn; Pientka, Brigitte Cited in: 2 Publications (2017–2021) Related Software: GitHub; Agda; Lilac; Charge!; Twelf; Beluga; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SKIL Software Authors: Galmiche, D.; Hermann, O. Cited in: 2 Publications (1993–2000) Related Software: LEGO; Automath; Lolli; Jape; Cambridge LCF; Elf; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Slakje Software Authors: Ebner, Gabriel Cited in: 2 Publications (2019–2021) Related Software: GAPT; leanCoP; TPTP; ILTP; nanoCoP; MleanCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BDDIntKt Software Authors: Goré, Rajeev; Thomson, Jimmy Cited in: 1 Publication (2013) Related Software: Imogen; fCube; BuDDy; ILTP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CatTheo Software Authors: Ekici B. Cited in: 1 Publication (2022) Related Software: Coq Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
DiaLog Software Authors: Ehrensberger, Jürgen; Zinn, Claus Cited in: 1 Publication (1997) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Djinn Software Authors: Augustsson, L. Cited in: 1 Publication (2018) Related Software: Gen-O-Fix; GenProg; Apache Spark; Agda; Hadoop; Scala Main Fields: Computer science (68-XX)
Fuzzy sets for Ada Software Authors: Dmitry A. Kazakov Cited in: 1 Publication (2003) Related Software: Interval arithmetic for Ada Main Fields: Computer science (68-XX)
LambdaMu-calculus Software Authors: Cristina Matache; Victor B. F. Gomes; Dominic P. Mulligan Cited in: 1 Publication (2021) Related Software: K Prover; Archive Formal Proofs; GitHub; KJS; K-Java; K-Maude; … Main Fields: Computer science (68-XX)
LinearOne Software Authors: Richard Moot Cited in: 1 Publication (2019) Related Software: GitHub; CatLog3; Grail Main Fields: Mathematical logic and foundations (03-XX)
Paraconsistency Software Authors: Anders Schlichtkrull; Jørgen Villadsen Cited in: 1 Publication (2018) Related Software: FOL_Harrison; Propositional Resolution; Incredible Proof Machine; Abstract Soundness; Verified Prover; Lambda Free RPOs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TILT Software Authors: Bittel, Oliver Cited in: 1 Publication (1991) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Fuzzy machine learning framework Software Authors: kazakov Cited in: 0 Publications Related Software: – Main Fields: –