Research tool · macOS

Apodexis: Mathematical Proof‑Chain Visualization Tool