Repositories list

• jixia

  Public
  A static analysis tool for Lean 4.

  Lean

  •

  Apache License 2.0

  •0•39•0•2•Updated Oct 16, 2024Oct 16, 2024

• metalib

  Public
  A collection of metaprogramming utilities.

  Lean

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 16, 2024Oct 16, 2024

• docker-leanprover

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Oct 16, 2024Oct 16, 2024

• LeanSearch

  Public
  MIT License

  •0•1•0•0•Updated Sep 21, 2024Sep 21, 2024

• blueprint-template

  Public template
  TeX

  •0•1•0•0•Updated Aug 22, 2024Aug 22, 2024

• AFFiNE

  Public
  There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.

  TypeScript

  •

  Other

  •2.7k•0•0•0•Updated May 6, 2024May 6, 2024

• vscode-lean4

  Public
  Visual Studio Code extension for the Lean 4 proof assistant

  TypeScript

  •

  Apache License 2.0

  •48•0•0•0•Updated Feb 23, 2024Feb 23, 2024

• lean4

  Public
  Lean 4 programming language and theorem prover

  Lean

  •

  Apache License 2.0

  •408•0•0•0•Updated Dec 23, 2023Dec 23, 2023