Telecharger Cours

Deep Inference for Graphical Theorem Proving - LIX

We finally go back to practical experimentation by designing and implementing the Flower Prover, another web-based GUI for interactive proof ...



Download