Pages that link to "Item:Q5371944"
From MaRDI portal
The following pages link to Mtac: A monad for typed tactic programming in Coq (Q5371944):
Displayed 3 items.
The following pages link to Mtac: A monad for typed tactic programming in Coq (Q5371944):
Displayed 3 items.