Summary
Report on Initial Implementation of Proof Library, including Initial CSL Implementation
More information & hyperlinks