Clide

swMATH7184MaRDI QIDQ19237FDOQ19237

Author name not available (Why is that?)

Official website: http://www.informatik.uni-bremen.de/~cxl/papers/cicm2013.pdf

Described by source

• A web interface for Isabelle: the next generation
• Collaborative Interactive Theorem Proving with Clide

This page was built for software: Clide