HipCam

swMATH17592MaRDI QIDQ29449FDOQ29449

Author name not available (Why is that?)

Official website: https://github.com/phlegmaticprogrammer/hipcam

Source code repository: https://github.com/phlegmaticprogrammer/hipcam

Cited In (2)

• Prooftree
• Capturing hiproofs in HOL light

This page was built for software: HipCam