This repository contains a spartan library with some facilities for number theory in Egison.
Works with Egison 4+
vmchale/number-theory
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains a spartan library with some facilities for number theory in Egison.
Works with Egison 4+