Pinned Loading

1. leanprover-community/mathlib3 leanprover-community/mathlib3 Public archive

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 298

2. leanprover-community/lean-web-editor leanprover-community/lean-web-editor Public

   Forked from leanprover/lean3-web-editor

   Lean 3 web editor

   TypeScript 11 15

3. leanprover/vscode-lean leanprover/vscode-lean Public

   Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.

   TypeScript 116 49

4. asg017/unofficial-observablehq-compiler asg017/unofficial-observablehq-compiler Public

   An unofficial compiler for Observable notebook syntax

   JavaScript 115 22

5. lean-matroids lean-matroids Public

   matroids in lean

   Lean 3 1

6. RigidityPackage RigidityPackage Public

   copy of RigidityPackage Mathematica package from bitbucket to GitHub. Please raise issues at bitbucket or email bgc.

   Mathematica 1