Nauman (recluze) on computing, philosophy and more …

Isabelle group on facebook

I’ve created a facebook group related to Isabelle. I hope to get people working with Isabelle onto that group for collaboration. If you’re interested in either Isabelle or formal verification, join up!