We are announcing a new research project, coordinated by Alexandru-Dan Corlan.
Category: Research Projects
Project in collaboration with Runtime Verification: Matching Logic and Lean
The project marks the start of our partnership with Runtime Verification, and concerns the Lean formalization of Matching Logic.