VDM recursive functions in Isabelle/HOL.

Leo Freitas Peter Gorm Larsen

Published in: CoRR (2023)

Keyphrases

recursive functions
theorem prover
natural deduction
inductive inference
inference rules
theorem proving
higher order logic
first order logic
sequent calculus
cut elimination
artificial intelligence
knowledge representation
small number
software engineering
text categorization