Graham Leach-Krouse

According to our database, Graham Leach-Krouse authored at least 7 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

cozy: Comparative Symbolic Execution for Binary Programs.

Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan

CoRR, April, 2025

2021

Coalgebra and Abstraction.

Graham Leach-Krouse

Notre Dame J. Formal Log., 2021

2019

Burali-Forti as a Purely Logical Paradox.

Graham Leach-Krouse

J. Philos. Log., 2019

2017

Generalizing Boolos' Theorem.

Graham Leach-Krouse

Rev. Symb. Log., 2017

What Russell Should have said to Burali-Forti.

Salvatore Florio, Graham Leach-Krouse

Rev. Symb. Log., 2017

Carnap: An Open Framework for Formal Reasoning in the Browser.

Graham Leach-Krouse

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2014

Yablifying the Rosser Sentence.

Graham Leach-Krouse

J. Philos. Log., 2014