No results found

Qq

Intuitive, type-safe expression quotations for Lean 4.
Displaying 1-20 of 187 packages depending on leanprover-community/Qq
Sort by

  1. TristanCacqueray/advent-of-leanusesd3a1d25

  2. lindy-labs/aegisusesv4.19.0-rc2

    Verify Cairo contracts in Lean 4

  3. FR-vdash-bot/algorithmusesv4.19.0-rc2

    Verified efficient algorithms in Lean4.

  4. jsm28/AMusesv4.19.0-rc2

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

  5. dwrensha/animateusesv4.17.0

    tool for turning Lean proofs into Blender animations

  6. FormalizedFormalLogic/arithmetizationusesv4.17.0-rc1

    Formalization of Arithmetization of Mathematics/Metamathematics

  7. Verified-zkEVM/Arklibusesv4.18.0

    Formally Verified Arguments of Knowledge in Lean

  8. Bergschaf/banach_tarskiuses01ad339

  9. mseri/BETuses1357f4f

    Project for "Machine-Checked Mathematics" at the Lorentz Center

  10. fpvandoorn/bonnAnalysisusesa7bfa63

    repository for the collaborative formalization seminar in Analysis in Bonn

  11. sven-manthe/borel_detusesv4.19.0-rc2

  12. jaalonso/Calculemus2usesv4.19.0-rc2

    Proof exercises in Lean4 and Isabelle/HOL

  13. jaalonso/Calculemus2_esusesv4.14.0

    Ejercicios de demostración con Lean4 e Isabelle/HOL.

  14. fpvandoorn/carlesonusesv4.19.0-rc2

    A formalized proof of Carleson's theorem in Lean

  15. knowsys/certifyingDatalogusesv4.17.0

    A certified checker for Datalog entailments, written in Lean

  16. YaelDillies/ChandraFurstLiptonusesv4.18.0

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

  17. dwrensha/Chessusesv4.15.0

    Chess in Lean 4

  18. anlucia/chromatic_polynomialuses01ad339

    Chromatic polynomial in Lean4

  19. Verified-zkEVM/Cleanusesv4.17.0

    Lean circuit DSL

  20. RemyDegenne/cltusesv4.19.0-rc2

    Central limit theorem in Lean