PECR: A Formal System Exploring Computability Logic

PECR is a formal system exploring computability logic through programs on real-world computers.