lean2 software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | Hardware_INTEGRATEDCIRCUITS | ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS | ComputingMilieux_MANAGEMENTOFCOMPUTINGANDINFORMATIONSYSTEMS | Hardware_MEMORYSTRUCTURES

Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Share - Bookmark