Add spanning tree proof
View options
- Truncate descriptions
I heard that @amintimany has a port of FCSL's spanning tree algorithm to Iris. That would be a good candidate to be added here, wouldn't it? @amintimany, which version of Iris is it working with?
- Show labels
- Show closed items