Web-based proof assistant (source code)

by Ciro Santilli (@cirosantilli, 37)
= Web-based proof assistant

A more verbose description of this at: <Website front-end for a mathematical formal proof system>{full}.

Back to article page