About

Metadata

  • Last updated , by KiYungAhn
  • License BSD-3-Clause
  • Categories Mathematics
  • Maintained by: kya@pdx.edu

  • Lottery factor: 0

Links

Installation

Readme

Ordinal arithmetic implementation up to epsilon_0. Currently based on interated multiset representation, planning to add CNF based implenetation.