Keyword Factory

This tool helps you to expand your technical vocabulary using the arXiv dataset.
Note that terms which occur infrequently in arXiv articles will not return good (if any) results.
Read about our method here.

isabelle

is associated with:

hol, prover, jedit, assistant, isar, paulson's, itps, nitpick, sledgehammer, certifier, nadea, utp, mechanised, induct, meta-logic, ceta, corecursion, tptp, pide, machine-checked

Using these keywords in combination with isabelle will help you expand your search horizons.

Nesta is an innovation foundation. We back new ideas to tackle the big challenges of our time. Nesta is a registered charity in England and Wales 1144091 and Scotland SC042833. Our main address is 58 Victoria Embankment, London, EC4Y 0DS. You can reach us by phone on 020 7438 2500 or drop us a line at [email protected] . All our work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License, unless it says otherwise. We hope you find it useful.

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 770420 – EURITO.

Disclaimer: This Project has been produced with the assistance of the European Union. The contents of this publication are the sole responsibility of the Consortium and can in no way be taken to reflect the views of the European Union.