🚀 Big News: Socket Acquires Coana to Bring Reachability Analysis to Every Appsec Team.Learn more

lean4-jupyter

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

lean4-jupyter - pypi Package File explorer

This file has 1 medium risk alert
lean4-jupyter

/

lean4_jupyter-0.0.2

/

lean4_jupyter

/

kernel.py