Flora :: [Package]

Search a package

@hackage / smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

1.3.0

About 4 Versions Changelog 15 Dependencies 0 Dependent Security

About 4 Versions Changelog 15 Dependencies 0 Dependent Security

Version history

1.3.0
- Uploaded: 2 years ago
- License: GPL-2.0-only
1.2.0
- Uploaded: 4 years ago
- License: GPL-2.0-only
1.1.0
- Uploaded: 6 years ago
- License: GPL-2.0-only
1.0.0
- Uploaded: 8 years ago
- License: GPL-2.0-only

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio