4 ms·> Coq could generate data types Not only data types, the code too.by lelf 7y ago> Coq could generate data types Not only data types, the code too.