Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Question about some projects to work on

view this post on Zulip Email Gateway (Jun 13 2021 at 20:14):

From: Недзельский Михаил <>
Hi all,
I am a software developer and I am interested in working with Isabelle theorem
prover in my spare time. I've had some experience with Isabelle back in 2008,
and I am trying to catch up with the last version of Isabelle.

My (very old) afp entry (
Theory-I.html) was about formalisation of mathematics, but being a software
developer for many years, working on certified programs also looks very

Basically, I don't have very strong preferences besides a desire to do
something useful and interesting with Isabelle.
May be it would be easier to participate in some current project, if it makes
I would be glad for any suggestions.

Kind regards,
​​​​​​​ Michael Nedzelsky

Last updated: Jan 25 2022 at 02:35 UTC