Coq (software)#Tactic language

1. REDIRECT Rocq

{{Redirect category shell|

{{R from move}}

}}