ex_maude

v0.1.1

Elixir bindings for the Maude formal verification system.

HexDocs HexPreview

Readme 7 Dependencies 0 Dependants Activity Versions

Packages depending on ex_maude

0 packages

No packages depend on ex_maude yet.

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.1

this version

21

yesterday

0

last 7 days

4

all time

45

Last Updated

Apr 07, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub
Maude

Owners

bohwalli