The top documents tagged [assumed coq]
Decidability
71 views