×

Found 4 Software Packages (Results 1–4)

Nominal Isabelle

Software Authors:   Urban, Christian; Kaliszyk, Cezary
Cited in: 77 Publications (2005–2022)
Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; Twelf; Abella; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Psi-calculi

Software Authors:   Jesper Bengtson
Cited in: 11 Publications (2009–2020)
Related Software: Nominal Isabelle; Isabelle/HOL; Twelf; Isabelle; PoplMark; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Robinson arithmetic

Software Authors:   Popescu, A., Traytel, D.
Cited in: 2 Publications (2020–2021)
Related Software: Archive Formal Proofs; Locales; Isabelle/HOL; Coq; GitHub; Eisbach; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Nominal2

Software Authors:   Christian Urban, Stefan Berghofer, Cezary Kaliszyk
Cited in: 1 Publication (2018)
Related Software: CakeML_Codegen; Haskell Show Class; Archive Formal Proofs; Pilsner; CakeML; HOL; …
Main Fields: Computer science (68-XX)