Sentence examples for proof assistant from inspiring English sources

These results have been checked using the proof assistant Isabelle.

All of our results are mechanised in the interactive proof assistant Coq.

A mechanical proof of the properties was carried out using the proof assistant Coq.

In this paper, we formalize the CCN protocol using the proof assistant Coq.

A prototype implementation of a web interface for the Coq proof assistant [Coq Development Team, "The Coq Proof Assistant Reference Manual Version 8.0," INRIA-Rocquencourt (2005), URL: http://coq.inria.fr/doc-eng.html] created according to our architecture is presented.

Less recently, to increase the trust in the Nuprl proof assistant, Vincent and I formalized a model of the Nuprl in the Coq proof assistant.

Members of the PRL research group will assist with aspects of the course such as demonstrating and teaching about proof assistants.

This article describes an architecture for creating responsive web interfaces for proof assistants.

Proof assistants like PVS can be used fruitfully for the design and verification of concurrent algorithms.

I work with Prof. Ross Knepper on using Proof Assistants to develop trustworthy robotic systems, and with Prof. Greg Morrisett on using Proof Assistants to develop trustworthy compilers.

Some are discoveries about the logics implemented by the proof assistants.