8
Axiom to system algebry komputerowej ogólnego zastosowania.Jest przydatny do badań i rozwoju algorytmów matematycznych.Definiuje silnie typowaną, matematycznie poprawną hierarchię typów.Ma język programowania i wbudowany kompilator.
axiom