1 search result for "tag:"logpath:idt""

Showing 1 - 1
  1. coq-idt

    No documentation

    Inductive Definition Transformers
    category:Miscellaneous/Coq Extensions date:2024-05-12 logpath:idt
    Qianchuan Ye Benjamin Delaware
    1.3.0
    MIT
    Used by 0 other packages
    13 May 2024