OPEN SOURCE, OPEN TO EVERYONE

オープンソース。新しい可能性。

優れたオープンソースプロジェクトを見つけ、匿名でプロジェクトを投稿し、自分のプロジェクトを申請して編集できます。

編集部選定 · 良いオープンソースを発見4109発見済み

好奇心とともに、オープンソースの世界へ。

THE FIRST COLLECTION
Topic: lean清除
lean4leanprover
新着

Lean 4 は形式検証、関数型プログラミング、対話的証明開発のためのプログラミング言語および定理証明支援ツールです。

開発ツールTesting & debugging