A Technical Dive into Formalization of Chess Tactics
lichess.org