The latest version of agda-kernel with no known security vulnerabilities is 0.64. We recommend installing version 0.64.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v0.64 at Nov. 30, 2020
- License
-
BSD-2-Clause (BSD 2-Clause "Simplified" License)
Description
A rudimentary Jupyter kernel for Agda
No known vulnerabilities found
Has known vulnerabilities
- 0.64
- 0.63
- 0.62
- 0.61
- 0.6
- 0.5
- 0.4
- 0.3
- 0.2