Extending a brainiac prover to lambda-free higher-order logic

The work

TitleExtending a brainiac prover to lambda-free higher-order logic
AuthorsPetar Vukmirović; Jasmin Blanchette; Simon Cruanes; Stephan Schulz
Typearticle
Year2022
Citekeyvukmirovic2022extending

Where it appeared

Published inInternational Journal on Software Tools for Technology Transfer
Volume24
Issue1
Pages67--87

Copy held

KindPDF, 516.7 kB
Retrieved2026-08-07
Heldlocal, for personal reference

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: International Journal on Software Tools for Technology Transfer (STTT) venue

Cite it as

@article{vukmirovic2022extending,
  title = {Extending a brainiac prover to lambda-free higher-order logic},
  author = {Petar Vukmirović and Jasmin Blanchette and Simon Cruanes and Stephan Schulz},
  year = {2022},
  journal = {International Journal on Software Tools for Technology Transfer},
  volume = {24},
  number = {1},
  pages = {67--87},
}

This record lives at https://refs.drheap.org/vukmirovic2022extending/ and will keep doing so.