No results found

UnicodeBasicv1.1.0

Basic Unicode support for Lean 4
#unicode
Displaying 1-20 of 37 packages depending on fgdorais/UnicodeBasic
Sort by

  1. FR-vdash-bot/algorithmusesv1.1.5

    Verified efficient algorithms in Lean4.

  2. Bergschaf/banach_tarskiusesf93115d

  3. fpvandoorn/bonnAnalysisusesc74a052

    repository for the collaborative formalization seminar in Analysis in Bonn

  4. morganfshirley/CommCompuses7afce91

    Formalization of communication complexity in Lean

  5. leanprover-community/ConNFusesv1.1.5

    A formal consistency proof of Quine's set theory New Foundations

  6. Shreyas4991/DGAlgorithmsusese86d905

    Distributed Graph Algorithms in Lean

  7. leanprover/doc-gen4usesv1.1.5

    Document Generator for Lean 4

  8. teorth/equational_theoriesuses2905ab4

    A project to map out the relations between different equational theories of Magmas.

  9. teorth/expdbusesv1.1.5

    Exponent pair database

  10. ivankobe/FactorizationSystemsuses2905ab4

  11. leanprover-community/flt-regularusesv1.1.5

    Fermat's Last Theorem for regular primes

  12. mo271/FormalBookuses2905ab4

    Formalizing "Proofs from THE BOOK"

  13. JamesGallicchio/Httpuses8603bb1

    Basic HTTP definitions and parsing for Lean

  14. SchrodingerZhu/lean-gccjitusesf092502

    libgccjit bindings for Lean4

  15. alok/lean-infuses7afce91

  16. JamesGallicchio/lean-openapiuses8603bb1

  17. Bergschaf/LeanBanachTarskiusesd890360

  18. utensil/LeanBlueprintExampleusesf092502

  19. fpvandoorn/LeanCourseusesv1.0.2

    Bonn Lean course for winter 24/25

  20. loganrjmurphy/libuseseffd8b8

    LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.