No results found

UnicodeBasicv1.1.0

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

  1. FR-vdash-bot/algorithmusesd55279d

    Verified efficient algorithms in Lean4.

  2. Bergschaf/banach_tarskiusesf93115d

  3. fpvandoorn/bonnAnalysisusesc74a052

    repository for the collaborative formalization seminar in Analysis in Bonn

  4. YaelDillies/ChandraFurstLiptonuses7afce91

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity

  5. RemyDegenne/cltusesd890360

    Central limit theorem in Lean

  6. morganfshirley/CommCompuses7afce91

    Formalization of communication complexity in Lean

  7. optsuite/convexusesc74a052

  8. teorth/equational_theoriesuses2905ab4

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

  9. ivankobe/FactorizationSystemsuses2905ab4

  10. mo271/FormalBookuses2905ab4

    Formalizing "Proofs from THE BOOK"

  11. JamesGallicchio/Httpuses8603bb1

    Basic HTTP definitions and parsing for Lean

  12. SchrodingerZhu/lean-gccjitusesf092502

    libgccjit bindings for Lean4

  13. alok/lean-infuses7afce91

  14. JamesGallicchio/lean-openapiuses8603bb1

  15. Bergschaf/LeanBanachTarskiusesd890360

  16. utensil/LeanBlueprintExampleusesf092502

  17. fpvandoorn/LeanCourseusesv1.0.2

    Bonn Lean course for winter 24/25

  18. Bergschaf/leroyusesd890360

  19. loganrjmurphy/libuseseffd8b8

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

  20. leanprover/lnsymusesv1.0.2

    Armv8 Native Code Symbolic Simulator in Lean