Popular repositories Loading

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

   Lean 4 without any axioms

   Lean 7

2. dependent-computability dependent-computability Public

   Automatically proving computability for Lean functions

   Lean 1

3. 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

4. i-wanna-lockpick-tas i-wanna-lockpick-tas Public

   Java

5. porffor porffor Public

   Forked from CanadaHonk/porffor

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

   JavaScript

6. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean