No results found

InfinityCosmos

A blueprint for a formalization of infinity-cosmos theory in Lean.
Displaying 1-13 of 13 dependencies of InfinityCosmos
Sort by

  1. batteries
    46fed98

    The "batteries included" extended library for the Lean programming language and theorem prover

  2. Qq
    v4.12.0-rc1

    Intuitive, type-safe expression quotations for Lean 4.

  3. aesop
    662f986

    White-box automation for Lean 4

  4. proofwidgets
    v0.0.42

    Helper toolkit for creating your own Lean 4 UserWidgets

  5. Cli
    2cf1030

  6. importGraph
    fb7841a

    Tool to analyse the import structure of lean projects.

  7. LeanSearchClient
    c260ed9

  8. mathlib
    7dc3569

  9. checkdecls
    11fa569

  10. MD4Lean
    5e95f47

  11. UnicodeBasic
    7afce91

  12. BibtexQuery
    0a294fe

  13. doc-gen4
    1b0072f