ELAN for Equational Reasoning in Coq (2000)

Cached

Download Links

by Cuihtlauac Alvarado , Quang-Huy Nguyen , Loria Inria Lorraine
Citations:8 - 3 self