APA (7th ed.) Citation

Trufaş, D. (2024). Intuitionistic Propositional Logic in Lean.

Chicago Style (17th ed.) Citation

Trufaş, Dafina. Intuitionistic Propositional Logic in Lean. 2024.

MLA (9th ed.) Citation

Trufaş, Dafina. Intuitionistic Propositional Logic in Lean. 2024.

Warning: These citations may not always be 100% accurate.