A new review has been published: 4 Best Free and Open Source Proof Assistants
LinuxLinks published an overview of four open source proof assistants.
Read more @ Linux Compatible
