1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
isabelle 2018-1 21 0.00 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. badcasa

1 package found. Page 1 of 1.