LibHunt's Isabelle Newsletter

A weekly report of the trending Isabelle projects

👨‍💻👩‍💻 22,008 people have subscribed already.
One click unsubscribe.

Why Subscribe to
LibHunt's Isabelle Newsletter?

  1. To keep your Isabelle knowledge updated
  2. To receive weekly reports with trending projects
  3. So that you don't miss out what is going on in the community

Thanks for the interest!

We will give our best to make this valuable to you!