Logic as a lingua franca

Certifying

Prover

Code

Proof

Proof

Engine

Previous slide

Next slide

Back to first slide

View graphic version