1 search result for "author:"lord@crocodile.org""

Showing 1 - 1
  1. 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