×

HYBRID

swMATH ID: 421
Software Authors: Hybrid Group
Description: Hybrid: a package for higher-order syntax in Isabelle and Coq.
Homepage: http://hybrid.di.unimi.it/
Related Software: Twelf; Coq; Abella; PoplMark; Nominal Isabelle; Beluga; Isabelle; Isabelle/HOL; Bedwyr; Quipper; Ott; Psi-calculi; Delphin; LNgen; Gmeta; Agda; HOL; Lolli; Teyjus; Freshml
Referenced in: 18 Publications
Further Publications: http://hybrid.di.unimi.it/publications.html

Referencing Publications by Year