1 search result for "tag:"logpath:Paco""

Showing 1 - 1

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