Packages

An Elixir-native proof/spec kernel inspired by trusted theorem prover kernels.

Current section

Activity

Jump to
Date Activity
May 20, 2026 Publish release 0.8.0
May 19, 2026 Publish documentation for release 0.7.0
May 19, 2026 Publish release 0.7.0
May 19, 2026 Publish documentation for release 0.6.0
May 19, 2026 Publish release 0.6.0
May 19, 2026 Publish documentation for release 0.5.0
May 19, 2026 Publish release 0.5.0
May 19, 2026 Publish documentation for release 0.4.0
May 19, 2026 Publish release 0.4.0
May 18, 2026 Publish documentation for release 0.3.0
May 18, 2026 Publish release 0.3.0
May 18, 2026 Publish release 0.2.0
May 16, 2026 Publish documentation for release 0.1.0
May 16, 2026 Publish release 0.1.0
14 activities of 14 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 20 40 60 80

this version

30

yesterday

0

last 7 days

27

all time

231

Last Updated

May 20, 2026

License

MIT

Build Tools

mix

Publisher

dannote dannote

Links

Owners