awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Tokenlibs With Proofs | Awesome Repository

sec-bittokenlibs-with-proofs

0

View on GitHub↗

97 stars·22 forks·Coq·LGPL-3.0·0 views

Tokenlibs With Proofs

Features

Smart Contract Libraries - Token contract libraries featuring formal correctness proofs.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Correctness proofs of Ethereum token contracts