A Proof-oriented Programming Language
(3.068 Stars) (258 Forks) (8 indexierte Issues) (8 offene good first issues)
Repositories
Täglicher Newsletter
Erhalte frische Easy Issues per E-Mail.
Abonniere GoodFirstIssue Daily für neue Easy Issues, mit denen Einsteiger echte Open-Source-Arbeit starten können.