Popular repositories Loading

1. nanoda nanoda Public

   A type checker for the Lean theorem prover

   Rust 39 3

2. nanoda_lib nanoda_lib Public

   Library implementing type inference/checking functionality based on the Lean theorem prover

   Rust 35 2

3. type_checking_in_lean4 type_checking_in_lean4 Public

   Type Checking in Lean 4

   JavaScript 20 5

4. timelib timelib Public

   A date and time library for Lean 4

   Lean 11 4

5. printiest printiest Public

   A pretty printer for Lean 4

   Lean 6 1

6. second_opinion second_opinion Public

   Rust 5 2