Elf Software Authors: Frank Pfenning Cited in: 44 Publications (1989–2021) Related Software: Nuprl; Twelf; Coq; Automath; Isabelle; Lolli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Isabelle/PIDE Software Authors: Makarius Wenzel; Burkhart Wolff Cited in: 13 Publications (2012–2020) Related Software: Coq; Isabelle; Isabelle/jEdit; Proof General; Isabelle/HOL; PIDE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-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)
TensorLog Software Authors: Cohen, William; Yang, Fan; Mazaitis, Kathryn Rivard Cited in: 6 Publications (2020–2022) Related Software: DeepProbLog; Adam; ProbLog; TensorFlow; NLProlog; PyTorch; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LLFp Software Authors: Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan Cited in: 4 Publications (2016–2019) Related Software: Coq; MMT; Agda; Beluga; Twelf; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
IsarMathLib Software Authors: – Cited in: 3 Publications (2017–2021) Related Software: Metamath; Mizar; Isabelle/ZF; AUTO2; Isabelle; Lifting; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); Computer science (68-XX)
PAL+ Software Authors: Luo, Z. Cited in: 3 Publications (2003–2004) Related Software: ALF; Automath; Multilisp Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLF Software Authors: Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David Cited in: 2 Publications (2007–2018) Related Software: Nominal Isabelle; Agda; Abella; Isabelle/HOL Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RLgraph Software Authors: Michael Schaarschmidt, Sven Mika, Kai Fricke, Eiko Yoneki Cited in: 0 Publications Related Software: OpenAI Gym; Horizon; Dopamine; RLlib; PyTorch; Sonnet; … Main Fields: –
MoMo Software Authors: Ovchinnikova, Ekaterina; Richter, Frank Cited in: 1 Publication (2007) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-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)