lean software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | Software_SOFTWAREENGINEERING | ComputingMilieux_MANAGEMENTOFCOMPUTINGANDINFORMATIONSYSTEMS | ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS

Lean Theorem Prover
Share - Bookmark