#

umea-university

Here are 2 public repositories matching this topic...

julianmendez / market

Multi-agent prototype of a market modeled in Soda that uses formal verification.

formal-verification multi-agent-systems lean4 soda-language umea-university

Updated Oct 29, 2024
Scala

julianmendez / tiles

Framework to create formal configurations of constraints.

responsible-ai soda-language umea-university

Updated Aug 7, 2024
Scala

Improve this page

Add a description, image, and links to the umea-university topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the umea-university topic, visit your repo's landing page and select "manage topics."