4 search results for "author:"Gordon Stewart""

Showing 1 - 4
  1. coq-games

    No documentation

    A library for algorithmic game theory in Ssreflect/Coq
    category:Mathematics/Combinatorics and Graph Theory keyword:game theory logpath:Games
    Alexander Bagnall Samuel Merten Gordon Stewart
    0.1.0
    BSD-2-Clause
    Used by 0 other packages
    29 Feb 2020
  2. coq-vst

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2025-01-20
    Andrew W. Appel Lennart Beringer William Mansky Josiah Dodds Qinxiang Cao et al.
    3.1beta
    BSD-2-Clause
    Used by 2 other packages
    23 Jun 2025
  3. coq-vst-32

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2024-03-20
    Andrew W. Appel Lennart Beringer Josiah Dodds Qinxiang Cao Aquinas Hobor et al.
    2.14
    BSD-2-Clause
    Used by 0 other packages
    21 Mar 2024
  4. rocq-vst

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2026-08-24
    Andrew W. Appel Lennart Beringer William Mansky Josiah Dodds Qinxiang Cao et al.
    3.2beta
    BSD-2-Clause
    Used by 0 other packages
    07 Sep 2026