xiyin137/OSreconstruction

Lean 4 formalization of the Osterwalder-Schrader reconstruction theorem

GitHub repository with 6 stars and 5 forks.

Language: Lean

Open provider repository

Latest metric snapshot

2026-06-05: 6 stars and 5 forks.

Similar repositories

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,237 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,443 stars and 1,404 forks.

    Trending score: 2.29; stars gained: +8; forks gained: +7.

    Language: Lean

    Topics: lean4

  3. 3. Verified-zkEVM/clean

    Lean circuit DSL

    GitHub repository with 151 stars and 23 forks.

    Trending score: 1.26; stars gained: +3; forks gained: +0.

    Language: Lean

  4. 4. lfglabs-dev/verity

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    GitHub repository with 119 stars and 15 forks.

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

    Language: Lean

  5. 5. leanprover/comparator

    GitHub repository with 82 stars and 15 forks.

    Trending score: 1.21; stars gained: +3; forks gained: +1.

    Language: Lean

Trending in Lean

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,237 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,443 stars and 1,404 forks.

    Trending score: 2.29; stars gained: +8; forks gained: +7.

    Language: Lean

    Topics: lean4

  3. 3. Verified-zkEVM/clean

    Lean circuit DSL

    GitHub repository with 151 stars and 23 forks.

    Trending score: 1.26; stars gained: +3; forks gained: +0.

    Language: Lean

  4. 4. lfglabs-dev/verity

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    GitHub repository with 119 stars and 15 forks.

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

    Language: Lean

  5. 5. leanprover/comparator

    GitHub repository with 82 stars and 15 forks.

    Trending score: 1.21; stars gained: +3; forks gained: +1.

    Language: Lean