Prooftree

swMATH17593MaRDI QIDQ29450FDOQ29450

Author name not available (Why is that?)

Official website: http://askra.de/software/prooftree/

Cited In (2)

• HipCam
• Capturing hiproofs in HOL light

This page was built for software: Prooftree