An experiment with formalized G-Trees in Lean 4
Primary LanguageLeanBSD Zero Clause License0BSD
This repository is not active