HipCam

MaRDI QIDQ29449swMATHFDO

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