Popular repositories Loading

1. matrix-verilog matrix-verilog Public

   Verilog

2. lean-project-generator lean-project-generator Public

   minimal gitpod code-place for generating new lean3 projects

3. formalising-mathematics-2022 formalising-mathematics-2022 Public

   Forked from ImperialCollegeLondon/formalising-mathematics-2022

   Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.

   Lean

4. react-codemirror-demos react-codemirror-demos Public

   Created with StackBlitz ⚡️

   TypeScript

5. lean-web-editor lean-web-editor Public

   Forked from leanprover-community/lean-web-editor

   Lean web editor

   TypeScript

6. lean4-metaprogramming-book lean4-metaprogramming-book Public

   Forked from leanprover-community/lean4-metaprogramming-book

   Lean