usedSoftware

URI: https://gptkb.org/prop/usedSoftware
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Flyspeck_project gptkb:Isabelle
gptkb:Flyspeck_project gptkb:HOL_Light