Popular repositories Loading

1. japanese-translation-lean4-metaprogramming-book japanese-translation-lean4-metaprogramming-book Public

   Forked from leanprover-community/lean4-metaprogramming-book

   Lean 2

2. lean4_textbook lean4_textbook Public

   Lean 1 1

3. lean4-exercise lean4-exercise Public

4. StudyTools StudyTools Public

   Python

5. fp-lean-ja fp-lean-ja Public

   Forked from leanprover/fp-lean

   Japanese Translation of Functional Programming in Lean

   JavaScript

6. RepositoryTranslator RepositoryTranslator Public

   Python