Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.1007/s10817-015-9348-y
https://doi.org/10.1007/s10817-015-9348-y
The Higher-Order Prover Leo-II
Cited by: 54
Author(s): Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank TheiB
Published: about 9 years ago