Skip to main content
PRL Project

Chet Says Good-Bye: Theory; Implementation (System); Methodology; Science

by Chetan Murthy

I'll talk about high-level issues relating to the construction of proof-environments, trying to knit together the subject areas of "Theory," "Systems," "Methodology," and "Science."

This is clearly too grandiose for it to really work out, but I'll try to identify and defend themes and overarching principles which could help to guide the development of proof-environments.