3 ms·
Coq isn't very good for developing with properties encoded in the types. Such properties are defined seperately from the data structures involved.
by reuben364 9y ago
Coq isn't very good for developing with properties encoded in the types. Such properties are defined seperately from the data structures involved.