Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories.

Ciarán Dunne J. B. Wells

Published in: CICM (2022)

Keyphrases

theorem prover
formal proof
database
natural language
databases
search engine
social networks
knowledge base
mobile robot
dynamic environments
hierarchical structure