This repository is meant only to hold the code that supports the back-links, root detection, and other back-end utilities for the Proof Tree wiki. Head over there to see the articles!
This repository is meant only to hold the code that supports the back-links, root detection, and other back-end utilities for the Proof Tree wiki. Head over there to see the articles!