Previous Up Next

Chapter 6  Language Reference

In this chapter, we describe the syntax and semantics of WhyML.

This chapter is not yet fully updated to the new syntax of Why3 1.00, so it not distributed for the moment.


Previous Up Next