Florent Krasnopol

According to our database¹, Florent Krasnopol authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

A Modular Splitting Framework for Saturation Theorem Proving.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2025

Formalizing Splitting in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

First-Order Automatic Literal Model Generation.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024