m4lvin/lean4-pdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)

GitHub repository with 16 stars and 3 forks.

Language: Lean

Topics: dynamic-logic, interpolation, lean4, modal-logic

Open provider repository

Latest metric snapshot

2026-06-05: 16 stars and 3 forks.

Trending in Lean

  1. 1. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,391 stars and 1,376 forks.

    Trending score: 1.04; stars gained: +11; forks gained: +8.

    Language: Lean

    Topics: lean4

  2. 2. facebookresearch/atlas-lean

    ATLAS Autoformalized Textbook Library At Scale

    GitHub repository with 215 stars and 22 forks.

    Trending score: 1.00; stars gained: +10; forks gained: +1.

    Language: Lean

  3. 3. Robby955/FormalSLT

    Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.

    GitHub repository with 33 stars and 1 forks.

    Trending score: 0.90; stars gained: +7; forks gained: +0.

    Language: Lean

    Topics: lean4, machine-learning, mathematics, pac-learning, statistical-learning, theorem-proving

  4. 4. lean-ja/lean-by-example

    コード例で学ぶ Lean 言語

    GitHub repository with 168 stars and 14 forks.

    Trending score: 0.32; stars gained: +0; forks gained: +0.

    Language: Lean

    Topics: functional-programming, lean, lean4, mdbook, reference, theorem-proving

  5. 5. google-deepmind/alphaproof-nexus-results

    Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

    GitHub repository with 164 stars and 16 forks.

    Trending score: 0.29; stars gained: +1; forks gained: +0.

    Language: Lean

  6. 6. leanprover-community/flt-regular

    Fermat's Last Theorem for regular primes

    GitHub repository with 62 stars and 3 forks.

    Trending score: 0.21; stars gained: +0; forks gained: +0.

    Language: Lean