2 search results for "author:"Chung-Kil Hur""

Showing 1 - 2
  1. coq-itree

    No documentation

    Library for representing recursive and impure programs with equational reasoning
    org:deepspec logpath: ITree date:2024-04-02
    Li-yao Xia Yannick Zakowski Paul He Chung-Kil Hur Gregory Malecha et al.
    5.2.0
    MIT
    Used by 3 other packages
    04 Apr 2024
  2. coq-paco

    No documentation

    Coq library implementing parameterized coinduction
    date:2024-10-09 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.1
    BSD-3-Clause
    Used by 3 other packages
    10 Oct 2024