3 search results for "author:"Minki Cho <minki.cho@sf.snu.ac.kr>""

Showing 1 - 3
  1. coq-ordinal

    No documentation

    Ordinal Numbers in Coq
    date:2025-08-03 category:Mathematics/Logic keyword:ordinal numbers keyword:set theory logpath:Ordinal
    Minki Cho <minki.cho@sf.snu.ac.kr>
    0.5.6
    MIT
    Used by 0 other packages
    12 Aug 2025
  2. coq-paco

    No documentation

    Coq library implementing parameterized coinduction
    date:2025-01-30 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Mathematics/Logic keyword:co-induction keyword:simulation keyword:parameterized greatest fixed point logpath:Paco
    Chung-Kil Hur <gil.hur@sf.snu.ac.kr> Georg Neis <neis@mpi-sws.org> Derek Dreyer <dreyer@mpi-sws.org> Viktor Vafeiadis <viktor@mpi-sws.org> Minki Cho <minki.cho@sf.snu.ac.kr>
    4.2.3
    BSD-3-Clause
    Used by 4 other packages
    31 Jan 2025
  3. coq-sflib

    No documentation

    A collection of useful Rocq lemmas and tactics
    date:2026-02-20 category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:tactics keyword:lemmas keyword:proof automation logpath:sflib
    Jeehoon Kang <jeehoon.kang@kaist.ac.kr> Minki Cho <minki.cho@sf.snu.ac.kr> Jaehyung Lee <jaehyung.lee@sf.snu.ac.kr> Yeji Han <yeji.han@sf.snu.ac.kr> Gil Hur <gil.hur@sf.snu.ac.kr>
    2.1.0
    BSD-2-Clause
    Used by 0 other packages
    20 Feb 2026