Packages

Elixir bindings for the Maude formal verification system.

Current section

Activity

Jump to
Date Activity
Aug 18, 2026 Publish documentation for release 0.4.0
Aug 18, 2026 Publish release 0.4.0
Jun 10, 2026 Publish documentation for release 0.3.0
Jun 10, 2026 Publish release 0.3.0
May 18, 2026 Publish documentation for release 0.2.0
May 18, 2026 Publish release 0.2.0
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
10 activities of 10 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