Popular repositories Loading

1. Uniq Uniq Public

   Static Uniqueness Analysis for the Lean 4 Theorem Prover

   Lean 8 1

2. ipv4utils ipv4utils Public

   Golang package for IPv4 utilities, namely merging IPv4 addresses for numerical operations, splitting them again and subnetting.

   Go 2 3

3. rc-correctness rc-correctness Public

   Lean 1

4. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean4 work in progress repo

   Lean

5. float-smt float-smt Public

   Experimental float library for Z3

   Python

6. vscode-lean vscode-lean Public

   Forked from leanprover/vscode-lean

   An extension for VS Code which provides support for the Lean language.

   TypeScript