ex_maude

v0.1.1

Elixir bindings for the Maude formal verification system.

HexDocs HexPreview

Readme 7 Dependencies 0 Dependants Activity Versions

Versions

Version	Published Date	Note
0.1.1	April 07, 2026
0.1.0	April 03, 2026

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