Packages

Elixir bindings for the Maude formal verification system.

Current section

5 Versions

Jump to

August 18, 2026

June 10, 2026

May 18, 2026

April 07, 2026

April 03, 2026

5 versions of 5 total

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

26

yesterday

8

last 7 days

36

all time

344

Last Updated

Aug 18, 2026

License

MIT

Build Tools

mix

Publisher

bohwalli bohwalli

Owners