Workflow

Homotopy-type-theory-lecture-notes-cmu-15-819

Latest version: v2024.3.2.0

Attention needed

This package is no longer maintained.

The latest version of homotopy-type-theory-lecture-notes-cmu-15-819 with no known security vulnerabilities is 2024.3.2.0. We recommend installing version 2024.3.2.0.

The information on this page was curated by experts in our Cybersecurity Intelligence Team.

Latest release
v2024.3.2.0 at March 1, 2024
License
None

Description

Homotopy Type Theory Lecture Notes (CMU 15-819)

Resources

Vulnerabilities

See all vulnerabilities

No known vulnerabilities found

Versions (1)

See all versions

Has known vulnerabilities

  • 2024.3.2.0