×

Found 11 Software Packages (Results 1–11)

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)