An Example of a Cofinitary Group in Isabelle/HOL.

Bart Kastermans

Published in: Arch. Formal Proofs (2009)

Keyphrases

theorem prover
natural deduction
databases
group members
first order logic
real time
website
multiscale
data structure
information technology
knowledge representation
inference rules
formal methods