This repository contains a backend for the
saw-core library that
outputs terms in the syntax of EasyCrypt.
This material is based upon work supported by the Office of Naval Research under Contract No. N68335-17-C-0452. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Office of Naval Research.