Popular repositories Loading

1. geo_logic geo_logic Public

   Tool for euclidean geometry aware of logic

   Python 88 9

2. lean-tactic-programming-guide lean-tactic-programming-guide Public

   Beginner's guide to Tactic Programming in Lean

   Lean 64 6

3. sokoban.lean sokoban.lean Public

   Sokoban implementation in lean for proving solvability / unsolvability

   Lean 14

4. py_euclidea py_euclidea Public

   Python version of the Euclidea game for possible reinforcement learning agents

   Python 10 4

5. HolStep-Tree HolStep-Tree Public

   Python 8 1

6. pyggb pyggb Public

   Python tool for generating pictures from geometric constructions

   Python 3 4