Clide

MaRDI QIDQ19237swMATHFDO

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