Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.gamedev.place is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server focused on game development and related topics.

Administered by:

Server stats:

5.4K
active users

mastodon.gamedev.place: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#mas

3 posts3 participants1 post today
Public
Keka

Keka v1.4.8 for #macOS💻 is out now!

VoiceOver enhancements 🗣️
Some bugs fixed bug🐞

What’s new? r.keka.io/?v=1.4.8
Get it on download.keka.io

#Apple #ARM #MAS #apps

Thanks for the continued love and feedback to all users! ❤️

Special thanks in this update:

@chrisl64squares

zephyr73
@math65

Thanks to all the translators 🌍! In this update:

🇨🇳
@_maxsky

🇮🇹
@vinboisoft

🇫🇷
@marccroteau

🇷🇺
@nitrodox

👉 Do not miss the newly introduced Keka for iOS 🤩🤩🤩 👉 Follow us on Mastodon and Twitter to get all the Keka news This is a minor feature and maintanance release. Check out all the 1.4 release chang...
GitHubRelease Keka v1.4.8 · aonez/Keka👉 Do not miss the newly introduced Keka for iOS 🤩🤩🤩 👉 Follow us on Mastodon and Twitter to get all the Keka news This is a minor feature and maintanance release. Check out all the 1.4 release chang...
#app#translation#localization
Public
José A. Alonso

Can proof assistants verify multi-agent systems? ~ Julian Alfredo Mendez, Timotheus Kampik. arxiv.org/abs/2503.06812 #MAS #FormalVerification #LeanProver #Scala

arXiv.orgCan Proof Assistants Verify Multi-Agent Systems?This paper presents the Soda language for verifying multi-agent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not only to Scala, a strongly statically typed high-level programming language, but also to Lean, a proof assistant and programming language. Given these capabilities, Soda can implement multi-agent systems, or parts thereof, that can then be integrated into a mainstream software ecosystem on the one hand and formally verified with state-of-the-art tools on the other hand. We provide a brief and informal introduction to Soda and the aforementioned interoperability capabilities, as well as a simple demonstration of how interaction protocols can be designed and verified with Soda. In the course of the demonstration, we highlight challenges with respect to real-world applicability.
ExploreLive feeds
About