Lament Configuration
source
log in
Chapter 27 Generalized rewriting
https://coq.inria.fr/distrib/current/refman/Reference-Manual030.html
coq
2017-05-20 06:49:04
—
@moltar
