Sina Hazratpour

Orcid: 0000-0002-7921-9149

According to our database¹, Sina Hazratpour authored at least 3 papers between 2019 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A Certifying Proof Assistant for Synthetic Mathematics in Lean.

[DOI]

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2024

A 2-categorical proof of Frobenius for fibrations defined from a generic point.

[DOI]

Math. Struct. Comput. Sci., 2024

2019

A logical study of some 2-categorical aspects of topos theory.

[DOI]

PhD thesis, 2019