home.social

#itp — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #itp, aggregated by home.social.

fetched live
  1. Deep Vision: A formal proof of Wolstenholmes theorem in Lean 4. ~ Alexandre Linhares. arxiv.org/abs/2604.16507v2 #LeanProver #ITP #AI4Math

  2. Deep Vision: A formal proof of Wolstenholmes theorem in Lean 4. ~ Alexandre Linhares. arxiv.org/abs/2604.16507v2 #LeanProver #ITP #AI4Math

  3. Deep Vision: A formal proof of Wolstenholmes theorem in Lean 4. ~ Alexandre Linhares. arxiv.org/abs/2604.16507v2 #LeanProver #ITP #AI4Math

  4. Deep Vision: A formal proof of Wolstenholmes theorem in Lean 4. ~ Alexandre Linhares. arxiv.org/abs/2604.16507v2 #LeanProver #ITP #AI4Math

  5. Deep Vision: A formal proof of Wolstenholmes theorem in Lean 4. ~ Alexandre Linhares. arxiv.org/abs/2604.16507v2 #LeanProver #ITP #AI4Math

  6. A proof of the Dittert conjecture in dimension 4 via an exact constrained sum-of-squares certificate. ~ Jinhui Li, Beibei Xiong, Zhengfeng Yang. arxiv.org/abs/2607.29191v2 #LeanProver #ITP #Math

  7. A proof of the Dittert conjecture in dimension 4 via an exact constrained sum-of-squares certificate. ~ Jinhui Li, Beibei Xiong, Zhengfeng Yang. arxiv.org/abs/2607.29191v2 #LeanProver #ITP #Math

  8. A proof of the Dittert conjecture in dimension 4 via an exact constrained sum-of-squares certificate. ~ Jinhui Li, Beibei Xiong, Zhengfeng Yang. arxiv.org/abs/2607.29191v2 #LeanProver #ITP #Math

  9. A proof of the Dittert conjecture in dimension 4 via an exact constrained sum-of-squares certificate. ~ Jinhui Li, Beibei Xiong, Zhengfeng Yang. arxiv.org/abs/2607.29191v2 #LeanProver #ITP #Math

  10. A proof of the Dittert conjecture in dimension 4 via an exact constrained sum-of-squares certificate. ~ Jinhui Li, Beibei Xiong, Zhengfeng Yang. arxiv.org/abs/2607.29191v2 #LeanProver #ITP #Math

  11. Machine-checked dual-write recovery from a committed log. ~ Andreas Andreakis. arxiv.org/abs/2608.00501 #IsabelleHOL #ITP

  12. Machine-checked dual-write recovery from a committed log. ~ Andreas Andreakis. arxiv.org/abs/2608.00501 #IsabelleHOL #ITP

  13. Machine-checked dual-write recovery from a committed log. ~ Andreas Andreakis. arxiv.org/abs/2608.00501 #IsabelleHOL #ITP

  14. Machine-checked dual-write recovery from a committed log. ~ Andreas Andreakis. arxiv.org/abs/2608.00501 #IsabelleHOL #ITP

  15. Machine-checked dual-write recovery from a committed log. ~ Andreas Andreakis. arxiv.org/abs/2608.00501 #IsabelleHOL #ITP

  16. From the Dirichlet integral to Lobachevsky's formula: a formalization in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07366v1 #LeanProver #ITP #Math

  17. From the Dirichlet integral to Lobachevsky's formula: a formalization in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07366v1 #LeanProver #ITP #Math

  18. From the Dirichlet integral to Lobachevsky's formula: a formalization in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07366v1 #LeanProver #ITP #Math

  19. From the Dirichlet integral to Lobachevsky's formula: a formalization in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07366v1 #LeanProver #ITP #Math

  20. From the Dirichlet integral to Lobachevsky's formula: a formalization in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07366v1 #LeanProver #ITP #Math

  21. A formalization of the Laplace transform and its inversion in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07384 #LeanProver #ITP #Math

  22. A formalization of the Laplace transform and its inversion in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07384 #LeanProver #ITP #Math

  23. A formalization of the Laplace transform and its inversion in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07384 #LeanProver #ITP #Math

  24. A formalization of the Laplace transform and its inversion in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07384 #LeanProver #ITP #Math

  25. A formalization of the Laplace transform and its inversion in Lean 4. ~ Daniel Goldberg, Antoine Vinciguerra. arxiv.org/abs/2608.07384 #LeanProver #ITP #Math

  26. Game hopping in Lean. ~ Stefan Dziembowski, Grzegorz Fabiański, Daniele Micciancio, Rafał Stefański. arxiv.org/abs/2608.06261 #LeanProver #ITP

  27. Game hopping in Lean. ~ Stefan Dziembowski, Grzegorz Fabiański, Daniele Micciancio, Rafał Stefański. arxiv.org/abs/2608.06261 #LeanProver #ITP

  28. Game hopping in Lean. ~ Stefan Dziembowski, Grzegorz Fabiański, Daniele Micciancio, Rafał Stefański. arxiv.org/abs/2608.06261 #LeanProver #ITP

  29. Game hopping in Lean. ~ Stefan Dziembowski, Grzegorz Fabiański, Daniele Micciancio, Rafał Stefański. arxiv.org/abs/2608.06261 #LeanProver #ITP

  30. Game hopping in Lean. ~ Stefan Dziembowski, Grzegorz Fabiański, Daniele Micciancio, Rafał Stefański. arxiv.org/abs/2608.06261 #LeanProver #ITP