Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Trying to find someone with hands-on experienc...

Email Gateway (Aug 19 2022 at 15:01):

From: Ibrahim Shiyam <ibrahimshiyam@gmail.com>
Hello,

I'm trying to get in touch with someone who has hands-on experience in
Isabelle Theorem Prover.

I'm trying to take an existing security framework and model it using the
Isabelle Theorem Prover. I have familiarized myself with the Isabelle
environment as well as another base UTP framework which is already encoded
in Isabelle. My work will extend this encoded base framework.

I need someone who has had hands-on experience in Isabelle Theorem Prover
to help me out in some of the syntax issues and choices in modelling some
extensions to the existing encoding extensions. I'd like to sit down with
someone(or maybe skype/google hangout) to work-through my required encoding
and the modifications I've already made towards encoding the framework.

I'm happy to travel anywhere within UK, if required, and also pay a
reasonable fee for his/her time.

I would be very grateful if someone to contact me via this email.

rgrds
Ibrahim

Last updated: Apr 18 2024 at 04:17 UTC