The latest version of pytactician with no known security vulnerabilities is 15.1. We recommend installing version 15.1.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v15.1 at Oct. 23, 2023
- License
-
MIT (MIT License)
Description
Python Library for interfacing with Coq and Tactician
No known vulnerabilities found
Has known vulnerabilities