Popular repositories Loading

1. cffi cffi Public

   Forked from cffi/cffi

   The Common Foreign Function Interface

   Common Lisp

2. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. mathlib4-all-tactics mathlib4-all-tactics Public

   Forked from haruhisa-enomoto/mathlib4-all-tactics

   Markdown file of the list and explanations of all mathlib4 tactics

   Lean

5. std4 std4 Public

   Forked from leanprover-community/batteries

   Standard Library for Lean 4

   Lean

6. cl-language-reference cl-language-reference Public

   Forked from lisp-docs/cl-language-reference

   Common Lisp New Language Reference

   JavaScript