You are currently looking at the documentation of an outdated version of Sollya. To see the current version of the documentation, go here.
Go back to the main page of Sollya