BennosCafe

Collection of CafeOBJ modules for educational purposes. This could be a nice place to have your cup of coffee ;-)

Software requirements

We recommend using CafeOBJ version 1.5.8.

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
Teaching_G3		Teaching_G3
Teaching_M1		Teaching_M1
TriangleMesh		TriangleMesh
etc		etc
java		java
README.md		README.md