1 search result for "tag:"date:2024-12-18""

Showing 1 - 1
  1. coq-ordinal

    No documentation

    Ordinal Numbers in Coq
    date:2024-12-18 category:Mathematics/Logic keyword:ordinal numbers keyword:set theory logpath:Ordinal
    Minki Cho <minki.cho@sf.snu.ac.kr>
    0.5.4
    MIT
    Used by 0 other packages
    18 Dec 2024