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 60 5

3. sokoban.lean sokoban.lean Public

   Sokoban implementation in lean for proving solvability / unsolvability

   Lean 13

4. HolStep-Tree HolStep-Tree Public

   Python 8 1

5. py_euclidea py_euclidea Public

   Python version of the Euclidea game for possible reinforcement learning agents

   Python 8 4

6. pyggb pyggb Public

   Python tool for generating pictures from geometric constructions

   Python 3 3