Sciweavers

TPHOL
1995
IEEE

Experiments with ZF Set Theory in HOL and Isabelle

15 years 12 days ago
Experiments with ZF Set Theory in HOL and Isabelle
Sten Agerholm, Michael J. C. Gordon
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where TPHOL
Authors Sten Agerholm, Michael J. C. Gordon
Comments (0)