gap-walrus
GAP: Proving assistant for hyperbolicity

An implementation of hyperbolicity testing using an idea by Holt, Neunhöffer, Parker and Roney-Dougal.

BSD-3-Clause

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...