ProofWeb

swMATH10134MaRDI QIDQ22102FDOQ22102

Author name not available (Why is that?)

Official website: http://proofweb.cs.ru.nl/login.php

Cited In (2)

• Merging Procedural and Declarative Proof
• Proviola: a tool for proof re-animation

This page was built for software: ProofWeb