GitHub Trending

Discover the most-followed developers in the GitStar community this month.

1@sgraf812
Sebastian Grafsgraf812
Popular repovcgen-showcase

Examples of imperative Lean programs verified with one 'vcgen ... with finish', on the Std.Internal.Do metatheory

4@LionSR
Sirui LuLionSR
Popular repoTNLean

Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)