Specifying in Coq inheritance used in Computer Algebra Libraries (2000)

Cached

Download Links

by Sylvain Boulmé
Citations:3 - 0 self