This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

This package will download the Google's NDK (Side by side) 21.1.6352462 package and unpacks it into Debian-friendly paths.

This package will download the Google's NDK (Side by side) 21.2.6472646 package and unpacks it into Debian-friendly paths.

This package will download the Google's NDK (Side by side) 21.3.6528147 package and unpacks it into Debian-friendly paths.

This package will download the Google's NDK (Side by side) 21.4.7075529 package and unpacks it into Debian-friendly paths.

This package will download the Google's NDK (Side by side) 22.0.7026061 package and unpacks it into Debian-friendly paths.