RelationExtraction software on GitHub

Software OPEN SOURCE

Inductive relations extraction plugin for Coq
Share - Bookmark