Panoptes

swMATH9139MaRDI QIDQ21132FDOQ21132

Author name not available (Why is that?)

Described by source

• Panoptes: an exploration tool for formal proofs

This page was built for software: Panoptes