Packages

ex_maude

v0.1.1

Elixir bindings for the Maude formal verification system.

HexDocs HexPreview
Readme 7 Dependencies 0 Dependants Activity Versions
Date Activity
Apr 07, 2026 Publish documentation for release 0.1.1
Apr 07, 2026 Publish release 0.1.1
Apr 03, 2026 Publish documentation for release 0.1.0
Apr 03, 2026 Publish release 0.1.0
4 activities of 4 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.1
0 20 40 60 80

this version

21

yesterday

0

last 7 days

4

all time

45

Last Updated

Apr 07, 2026

License

MIT

Build Tools

mix

Publisher

bohwalli bohwalli

Links

Owners