Popular repositories Loading

1. lean4-no-axioms lean4-no-axioms Public

   Lean 4 without any axioms

   Lean 2

2. i-wanna-lockpick-editor i-wanna-lockpick-editor Public

   Forked from L4Vo5/i-wanna-lockpick-editor

   A level editor to make and play I Wanna Lockpick levels.

   GDScript

3. i-wanna-lockpick-tas i-wanna-lockpick-tas Public

   Java

4. porffor porffor Public

   Forked from CanadaHonk/porffor

   A from-scratch experimental AOT JS engine, written in JS

   JavaScript

5. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

6. lean4-batteries lean4-batteries Public

   Forked from leanprover-community/batteries

   The "batteries included" extended library for the Lean programming language and theorem prover

   Lean