Clide

swMATH7184MaRDI QIDQ19237FDOQ19237

Author name not available (Why is that?)

Described by source

• A Web Interface for Isabelle: The Next Generation
• Collaborative Interactive Theorem Proving with Clide

This page was built for software: Clide