josevalim / lynx

git clone https://github.com/josevalim/lynx.git

Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)

stars, 24h · #8,084

+~14

stars, 7 days · #9,854

+~60

stars, 30 days · #10,559

119

★ total · +13% this week

forks · 2 open issues

2026-10-20 · 113 ★ 2026-10-23 · 119 ★

LanguageLean

LicenseApache-2.0

Created2026-09-06 (1mo ago)

Last push1d ago

OwnerUser