Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Seeking industrial users of Proof General

view this post on Zulip Email Gateway (Aug 19 2022 at 10:58):

From: David Aspinall <David.Aspinall@ed.ac.uk>
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

David Aspinall, email: David.Aspinall@ed.ac.uk
LFCS, School of Informatics, URL: http://homepages.inf.ed.ac.uk/da
Informatics Forum, Office: +44 (0)131 650 5177
10 Crichton Street, Mobile: +44 (0)773 809 2693
Edinburgh. EH8 9AB U.K. Office: Room 4.04A, IF

Last updated: Apr 18 2024 at 16:19 UTC