Dear All,

I'm looking for industrial users of Proof General who have used it in the last five years. Industrial means people who have used theorem provers for applications outside of academia. Commercial research would count so long as the use is not in theorem proving related research. Are there any on this list?

It is for a small favour that I will explain by return, and will take almost zero time from you.

Thanks in advance,

 - David
ProofGeneral mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to