Login / Signup

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

Petar VukmirovicJasmin BlanchetteSimon CruanesStephan Schulz
Published in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases