1 search result for "tag:"date:2025-03-25""

Showing 1 - 1
  1. coq-ordinal

    No documentation

    Ordinal Numbers in Coq
    date:2025-03-25 category:Mathematics/Logic keyword:ordinal numbers keyword:set theory logpath:Ordinal
    Minki Cho <minki.cho@sf.snu.ac.kr>
    0.5.5
    MIT
    Used by 0 other packages
    25 Mar 2025