argotorg/EquiVM
Refinement proofs in Lean for EVM bytecode
argotorg/EquiVM は初心者に優しい？
argotorg/EquiVM への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けの issue が現在 1 件オープンです。
- スター
- 29
- フォーク
- 8
- オープンの初心者向け issue
- 1
- 索引済み issue
- 1
- 平均マージ
- 5時間 37分
- マージ済み PR（30日）
- 6
- 主要言語
- Lean
- ライセンス
- MIT
- 最終 GitHub push
- 2026年10月14日
- 最新の索引
- 2026年11月11日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
argotorg/EquiVM にコントリビュートするには
- コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
- あなたのコントリビュートはプロジェクトの MIT ライセンスで公開されます。
- 下にある初心者向けのオープンな issue を選び、作業を始める前に取り組みたいとコメントしましょう。