4 search results for "author:"Beta Ziliani""

Showing 1 - 4
  1. coq-lemma-overloading

    No documentation

    Libraries demonstrating design patterns for programming and proving with canonical structures in Coq
    category:Computer Science/Data Types and Data Structures keyword:canonical structures keyword:proof automation keyword:Hoare type theory keyword:lemma overloading logpath:LemmaOverloading date:2020-08-12
    Georges Gonthier Beta Ziliani Aleksandar Nanevski Derek Dreyer
    8.12.0
    GPL-3.0-or-later
    Used by 0 other packages
    13 Aug 2020
  2. coq-mtac

    No documentation

    Typed Tactics for Coq 8.5
    Beta Ziliani
    1.3.0
    MIT
    Used by 0 other packages
    24 May 2016
  3. coq-mtac2

    No documentation

    Typed tactic language for Coq
    Beta Ziliani <beta.ziliani@gmail.com> Jan-Oliver Kaiser <janno@mpi-sws.org Robbert Krebbers <mail@robbertkrebbers.nl> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    1.4+9.0
    MIT
    Used by 0 other packages
    24 Oct 2025
  4. coq-unicoq

    No documentation

    An enhanced unification algorithm for Coq
    logpath:Unicoq date:2024-11-22
    Matthieu Sozeau <matthieu.sozeau@inria.fr> Beta Ziliani <beta@mpi-sws.org>
    1.6+8.20
    MIT
    Used by 1 other packages
    22 Nov 2024