Sign in Sign up
pypi

knuckledragger

Interactive Theorem Prover

Latest release
May 07, 2026
Releases
4
Known CVEs
0
First release
Nov 16, 2025
License
MIT
View on Pypi
Insights

Activity

Total releases
4
Last 12 months
4
Cadence
~3 months
Dependencies
21

Releases per month

last 12 months

Release mix

  • minor 2
  • pre 1
4 releases
Dependencies

Depends on

0.3.0
  • pypi cffi >=2.0.0
  • pypi cle >=9.2.148
  • pypi click >=8.1.8
  • pypi cloudpickle >=3.1.2
  • pypi cvc5 >=1.3.2
  • pypi dd >=0.6.0
  • pypi egglog >=9.0.0
  • pypi graphviz >=0.20.3
  • pypi hypothesis >=6.124.1
  • pypi jupyter
1–10 of 21

Used by

1
Releases
Version Released
0.3.0 minor
0.2.0 minor
0.1.4a1 pre
0.1.3 initial