1 search result for "author:"Dimitrios Vytiniotis""

Showing 1 - 1
  1. coq-almost-full

    No documentation

    Almost-full relations in Coq for proving termination
    category:Computer Science/Data Types and Data Structures keyword:Ramsey theorem keyword:termination keyword:almost-full relations keyword:well-founded relations logpath:AlmostFull date:2023-12-28
    Dimitrios Vytiniotis Thierry Coquand David Wahlstedt
    8.18.0
    MIT
    Used by 0 other packages
    28 Dec 2023