Packages

ex_maude

v0.1.0

Elixir bindings for the Maude formal verification system.

HexDocs HexPreview
Readme 6 Dependencies 0 Dependants Activity Versions
Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.0
0 20 40 60 80

this version

24

yesterday

0

last 7 days

4

all time

45

Last Updated

Apr 03, 2026

License

MIT

Build Tools

mix

Publisher

bohwalli bohwalli

Links

Owners