conf.researchr.org / Samar Rahmouni
Registered user since Thu 17 Jul 2025
Name:Samar Rahmouni
Country:France
Affiliation:Institut Polytechnique de Paris
Personal website: https://natvern.github.io
Research interests:Proof Theory, Verification
Contributions