1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
isabelle-tum 2021_1-1 1 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. Release mirror: TUM. MW360 2021-12-13 23:15 (UTC)

1 package found. Page 1 of 1.