Panoptes

MaRDI QIDQ21132swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066108005598

Described by source

• Panoptes: an exploration tool for formal proofs

Cited in

(1)

• Caml

This page was built for software: Panoptes