4 search results for "author:"John Wiegley""

Showing 1 - 4
  1. coq-category-theory

    No documentation

    An axiom-free formalization of category theory in Coq
    keyword: category theory category: Mathematics/Category Theory date: 2022-07-22 logpath: Category
    John Wiegley
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    22 Jul 2022
  2. coq-cds4ltl

    No documentation

    A Calculational Deductive System for Linear Temporal Logic
    keyword: temporal logic category: Mathematics/Logic/Modal logic date: 2022-07-23 logpath: CDS4LTL
    John Wiegley
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    23 Jul 2022
  3. coq-haskell

    No documentation

    A library to provide Haskell-familiar constructions in Coq
    keyword:haskell category:Miscellaneous/Coq Extensions date:2022-07-22 logpath:Hask
    John Wiegley
    1.1.0
    BSD-3-Clause
    Used by 1 other packages
    22 Jul 2022
  4. coq-linearscan

    No documentation

    A linear scan register allocator in Coq
    keyword: register allocator category:Computer Science/Semantics and Compilation/Compilation date: 2022-07-23 logpath: Linearscan
    John Wiegley
    1.1.0
    BSD-3-Clause
    Used by 0 other packages
    23 Jul 2022