Popular repositories Loading

1. zotra zotra Public

   Emacs Lisp 198 7

2. Lean-game-maker Lean-game-maker Public archive

   This project converts structured Lean code into an interactive browser game.

   TypeScript 79 16

3. zotra-server zotra-server Public

   JavaScript 18 6

4. format_lean format_lean Public

   Forked from leanprover-community/format_lean

   A Lean file formatter

   CSS 1

5. natural_number_game natural_number_game Public

   Forked from ImperialCollegeLondon/natural_number_game

   Building the natural numbers in Lean.

   Lean

6. Deep-Q-learning Deep-Q-learning Public

   Jupyter Notebook