Login / Signup

The Isabelle Community Benchmark.

Fabian HuchVincent Bode
Published in: CoRR (2022)
Keyphrases
  • theorem prover
  • similarity measure
  • software engineering
  • database systems