1 search result for "author:"Qianchuan Ye""

Showing 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