number-theory This repository contains a spartan library with some facilities for number theory in Egison. Works with Egison 4+