The latest version of isabelle-client with no known security vulnerabilities is 0.5.1. We recommend installing version 0.5.1.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v0.5.1 at Nov. 16, 2024
- License
-
Apache-2.0 (Apache License 2.0)
Description
A client to Isabelle proof assistant server
No known vulnerabilities found
Has known vulnerabilities
- 0.5.1
- 0.5.0
- 0.4.11
- 0.4.9
- 0.4.7
- 0.4.6
- 0.4.5
- 0.4.3
- 0.4.2
- 0.4.1
- 0.4.0
- 0.3.17
- 0.3.16
- 0.3.15
- 0.3.14
- 0.3.13
- 0.3.12
- 0.3.11
- 0.3.10
- 0.3.9