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

Ciarán Dunne J. B. Wells

Published in: CoRR (2022)

Keyphrases

theorem prover
formal proof
small number
information systems
mobile robot
machine learning
optimal solution
evolutionary algorithm
dual space