Various documentation related to proof engineering.
- Projects: list of proof engineering research projects
- Quotes: collection of proof engineering quotes
- Tools: list of proof engineering tools
- Presentations: collection of slides from presentations related to proof engineering
- Problems: problem area breakdown
- Software Engineering meets Proof Engineering: several projects applying SE techniques to formal proofs