Stanford's Formal Reasoning Group: RKF Project

Information

The Stanford Formal Reasoning Group web page.

Our HPKB web page.

SRI's team page and the Kickoff Meeting.

We wrote some papers and talk slides that are relevant to RKF.