Pinned Repositories
ballot_box
Volební systém využívající nový registr
geo_logic
Tool for euclidean geometry aware of logic
HexProver
interactve prover of Hex diagrams
HolStep-Tree
manim
Animation engine for explanatory math videos
my-lean-experiments
neur-rec-seq
Experimental neural architecture for self-repetitive (recursively defined) sequences
py_euclidea
Python version of the Euclidea game for possible reinforcement learning agents
pyggb
Python tool for generating pictures from geometric constructions
sokoban.lean
Sokoban implementation in lean for proving solvability / unsolvability
mirefek's Repositories
mirefek/geo_logic
Tool for euclidean geometry aware of logic
mirefek/sokoban.lean
Sokoban implementation in lean for proving solvability / unsolvability
mirefek/HolStep-Tree
mirefek/py_euclidea
Python version of the Euclidea game for possible reinforcement learning agents
mirefek/pyggb
Python tool for generating pictures from geometric constructions
mirefek/HexProver
interactve prover of Hex diagrams
mirefek/manim
Animation engine for explanatory math videos
mirefek/my-lean-experiments
mirefek/neur-rec-seq
Experimental neural architecture for self-repetitive (recursively defined) sequences
mirefek/ballot_box
Volební systém využívající nový registr
mirefek/codenames_w2v
Word2vec-based AI for CodeNames
mirefek/GeoModelBuilder
mirefek/equiv_game
Equivalence Game
mirefek/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
mirefek/puzzle_reasoning
Boolean invariants for puzzle games
mirefek/pycoq
python API to coq-serapi
mirefek/pylogic
Pythonic ITP
mirefek/SokoDLex
Sokoban Deadlock Examiner
mirefek/VennData
Lightweight interactive tool for creating data-based Venn diagrams