GitHub repository: tlringer/autoinduct
Primary language: Coq
Created: 2023-06-26T14:45:49Z
Description: Taking a fun tactic implemented in class, and making it public for further refinement