3 ms·

Coq is very hard to use.

• deleted 11y ago
  [deleted]