Twelf(Q):Adding Rationals to Twelf

Roberto Virga

Department of Mathematics

Carnegie Mellon University

Next slide

Back to first slide

View graphic version