All Categories → No Category → ordinal

Top 3 ordinal open source projects

Ordinal Common-sense Inference

✭ 27

knowledge inference ordinal commonsense

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

✭ 132

Agda TeX type-theory agda ordinal homotopy-type-theory univalent-foundations constructive-mathematics compact-type totally-separated-type injective-type searchable-set univalent-mathematics

SurrealNumbers.jl

Implementation of Conway's Surreal Numbers

✭ 30

julia TeX math analysis graphs numbers number dag ordinal surreal hyperreal

1-3 of 3 ordinal projects