by Kacper Bąk, Oct 20, 2026
The clafer-semantics repository provides a Lean 4 formalization of Clafer’s structural semantics, based on our paper Clafer: unifying class and feature modeling. It includes reusable graph and class-diagram libraries, machine-checked proofs, and worked examples, including the paper’s telematics model. Explore the code and documentation on GitHub, or browse the repository and ask questions through DeepWiki. Contributions and feedback are welcome!
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.