LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

tama

Tama is a developer tool for building formally verified Ethereum smart contracts in Verity

OtherEmerging

Stars

—

Forks

—

Contributors

3

Last push

18d ago

Recent commits

Latest commits.

Merge pull request #34 from Bacon-labs/ci-negative-audit-disk
72fe05dboredGenius21d ago
ci: reclaim disk in negative-audit so the runner doesn't fill up
04d8156ZeframLou21d ago
Merge pull request #33 from Bacon-labs/discharger-auto-discovery
f608185boredGenius21d ago
Discover dischargers from the Lean environment, not proof-file tags
8b037beZeframLou21d ago
Merge pull request #32 from Th0rgal/fix-start-tutorial
fcd6607boredGenius21d ago

docs: align start tutorial with generated starter

08412a9Thomas Marchand (agent)28d ago

docs: fix first contract tutorial

70930d0Thomas Marchand (agent)28d ago

Merge pull request #31 from Bacon-labs/lean-enforced-dischargers

c7547ffboredGenius1mo ago

Top contributors

Builders behind this project.