No results found

Project

Structure in Prime Gaps - Formalized
Displaying 1-12 of 12 dependencies of Project
Sort by

  1. batteries
    5e5e54c

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

  2. Qq
    71f5442

    Intuitive, type-safe expression quotations for Lean 4.

  3. aesop
    776a5a8

    White-box automation for Lean 4

  4. proofwidgets
    v0.0.41

    Helper toolkit for creating your own Lean 4 UserWidgets

  5. Cli
    2cf1030

  6. importGraph
    57bd206

    Tool to analyse the import structure of lean projects.

  7. mathlib
    318082b

  8. checkdecls
    21a36f3

  9. MD4Lean
    5e95f47

  10. UnicodeBasic
    5c11428

  11. BibtexQuery
    bd8747d

  12. doc-gen4
    cc93eea