A Linter for Isabelle: Implementation and Evaluation.

Yecine Megdiche Fabian Huch Lukas Stevens

Published in: CoRR (2022)

Keyphrases

efficient implementation
theorem prover
search engine
case study
implementation details
implementation issues
databases
three dimensional
bayesian networks
evaluation method
evaluation criteria
xml retrieval