Packages

Elixir bindings for the Maude formal verification system.

Current section

Readme

Jump to
Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 10 20 30 40

this version

24

yesterday

0

last 7 days

28

all time

336

Last Updated

Aug 18, 2026

License

MIT

Build Tools

mix

Publisher

bohwalli bohwalli

Owners