2 search results for "author:"Vadim Zaliva""

Showing 1 - 2
  1. coq-min-imports

    No documentation

    This script will try to remove unnecessary module imports from Coq
    category:Miscellaneous/Coq Extensions date:2018-04-22
    Vadim Zaliva
    1.0.2
    MIT
    Used by 0 other packages
    26 Apr 2018
  2. coq-switch

    No documentation

    A plugin to implement functionality similar to `switch` statement in C language
    category:Miscellaneous/Coq Extensions date:2023-12-13 logpath:Switch
    Vadim Zaliva <lord@crocodile.org>
    1.0.6
    MIT
    Used by 0 other packages
    13 Dec 2023