Factual package intelligence from PyPI

itp-interface 1.12.0 package intelligence

Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.

pip install itp-interface

Current version
1.12.0
Python requirement
>=3.9
License
MIT License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
10.5 MiB
Release history
32 releases with files
Median release cadence
4 days

itp-interface dependencies

PyPI declares 29 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. dataclasses-json >=0.5.7
  2. editdistance >=0.8.1
  3. faiss-cpu >=1.6.1
  4. filelock >=3.12.4
  5. hydra-core >=1.0.0
  6. jsonlines >=4.0.0
  7. mathlibtools >=1.3.2
  8. numpy >=1.24.0
  9. omegaconf >=2.0.1
  10. pampy >=0.3.0
  11. parglare >=0.16.1
  12. pexpect >=4.8.0

The compact report shows 12 of 29 declarations. The interactive dependency graph loads the complete metadata.

Compatibility and release files

itp-interface publishes 1 wheel and 1 source archive for version 1.12.0. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Security snapshot for itp-interface 1.12.0

An OSV query completed on and found 0 known vulnerabilities affecting this version. 0 advisories are classified as critical. 0 advisories appear in the CISA Known Exploited Vulnerabilities catalog.

Release activity and sources

PyPI lists 32 releases with files. The first dated release is ; 19 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .

2 historical releases are fully yanked in PyPI metadata.