Homotopy Type Theory Proof Assistants > history

Redirected from "Jordan–Lie–Banach algebra".

< proof assistants and formalization projects -- list

category: redirected to nlab