Clafer Documentation

Complete documentation will be developed incrementally. For now, you can look at the following documents: