Standard Library / University of Cambridge Ramana.Kumar@cl.cam.ac.uk / /
IndustryTerm
remote proof tools / external tool / semantic web reasoning services / remote server / web requests / automatic tools / Proof tools / reasoning infrastructure / similar proof tools / reasoning tools / proof tool / external tools / functionality available in different systems / test server / /